A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Conference in mathematical logic / Wilfrid HODGES (1972)
Titre : Conference in mathematical logic Type de document : collection Auteurs : Wilfrid HODGES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1972 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 255 ISBN/ISSN/EAN : 978-3-540-05744-4 Langues : Anglais Catégories : 0 2G0
02A05
02B25
02C10
02F27
02F30
02G20
02Hxx
02Kxx
06A40Mots-clés : logique mathématique Conference in mathematical logic [collection] / Wilfrid HODGES, Auteur . - Berlin : Springer-Verlag, 1972. - (Lecture Note in Mathematics, ISSN 0075-8434; 255) .
ISBN : 978-3-540-05744-4
Langues : Anglais
Catégories : 0 2G0
02A05
02B25
02C10
02F27
02F30
02G20
02Hxx
02Kxx
06A40Mots-clés : logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3839 LN 255 Livre Recherche Salle Disponible Minimal degrees of unsolvability and the full approximation construction / Richard L. Epstein (1975)
Titre : Minimal degrees of unsolvability and the full approximation construction Type de document : monographie Auteurs : Richard L. Epstein, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1975 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 162 ISBN/ISSN/EAN : 978-0-8218-1862-6 Langues : Anglais Catégories : 02F30 Mots-clés : insolvabilite logique mathématiques constructives fonction récursive Minimal degrees of unsolvability and the full approximation construction [monographie] / Richard L. Epstein, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1975. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 162) .
ISBN : 978-0-8218-1862-6
Langues : Anglais
Catégories : 02F30 Mots-clés : insolvabilite logique mathématiques constructives fonction récursive Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2945 854/162 Livre Recherche Salle Disponible