Interpolation and Definability

Auteur: Gabbay, Dov M. (Department of Computer Science, King's College London)
Editeur: Oxford University Press
This monograph is on 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.
Sur commande
This monograph is on 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.
ISBN / EAN 9780198511748
Auteur Gabbay, Dov M. (Department of Computer Science, King's College London)
Editeur Oxford University Press