A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02F30
Affiner la recherche Interroger des sources externes
Conference in mathematical logic (1972) / Wilfrid HODGES
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 (eng) 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 . - Springer-Verlag, 1972. - (Lecture Note in Mathematics, ISSN 0075-8434; 255) .
ISBN : 978-3-540-05744-4
Langues : Anglais (eng)
Catégories : 0 2G0
02A05
02B25
02C10
02F27
02F30
02G20
02Hxx
02Kxx
06A40Mots-clés : logique mathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3839 LN 255 Livre Recherche Salle Disponible Minimal degrees of unsolvability and the full approximation construction (1975) / Richard L. Epstein
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 (eng) 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 . - American Mathematical Society, 1975. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 162) .
ISBN : 978-0-8218-1862-6
Langues : Anglais (eng)
Catégories : 02F30 Mots-clés : insolvabilite logique mathématiques constructives fonction récursive Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2945 854/162 Livre Recherche Salle Disponible