1 résultat(s)
Télécharger le livre : Interpolation and Definability
Dov M. Gabbay , Larisa Maksimova
Interpolation and Definability
This book is a specialized monograph 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...
Editeur : Clarendon Press
Parution : 2005-05-12

Format(s) : PDF
143,73 €
Téléchargement immédiat
Dès validation de votre commande