A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur van Dalen, Dirk
Documents disponibles écrits par cet auteur
Affiner la recherche
Hans Freudenthal selecta / Freudenthal, H.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20816 01 FRE imprimé / autre CRDM 01//OEUVRES COMPLETES Disponible Logic and structure / van Dalen, Dirk
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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16549 03C162 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible