Titre :	an Introduction to mathematical logic and type theory : to truth through proof
Type de document :	texte imprimé
Auteurs :	P. B. Andrews
Mention d'édition :	2nd ed.
Editeur :	Springer-Verlag
Année de publication :	2002
Collection :	Applied Logic Series num. 27
Importance :	xviii - 408 p.
ISBN/ISSN/EAN :	978-1-4020-0763-7
Note générale :	commande M. Borer
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory
Mots-clés :	propositional logic  type theory  first-order logic
Index. décimale :	03C Monographie

an Introduction to mathematical logic and type theory : to truth through proof [texte imprimé] / P. B. Andrews  . -  2nd ed. . - [S.l.] : Springer-Verlag, 2002 . - xviii - 408 p.. - (Applied Logic Series; 27) .
ISBN : 978-1-4020-0763-7
commande M. Borer
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory
Mots-clés :	propositional logic  type theory  first-order logic
Index. décimale :	03C Monographie