4007626
9780198511748
This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science, and natural language.Gabbay, Dov M. is the author of 'Interpolation And Definability Modal And Intuitionistic Logic', published 2005 under ISBN 9780198511748 and ISBN 0198511744.
[read more]