Titre :	Logic and structure
Type de document :	texte imprimé
Auteurs :	van Dalen, Dirk
Mention d'édition :	4th ed.
Editeur :	London : Springer
Année de publication :	2004
Collection :	Universitext
Importance :	x - 263 p.
ISBN/ISSN/EAN :	978-3-540-20879-2
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
Mots-clés :	recursion theory  proof theory  model theory  mathematical logic
Index. décimale :	03C Monographie

Logic and structure [texte imprimé] / van Dalen, Dirk  . -  4th ed. . - London : Springer, 2004 . - x - 263 p. . - (Universitext) .
ISBN : 978-3-540-20879-2
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
Mots-clés :	recursion theory  proof theory  model theory  mathematical logic
Index. décimale :	03C Monographie