A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02D02
Affiner la recherche Interroger des sources externes
Extensional gödel functional interpretation (1973) / Horst LUCKHARDT
Titre : Extensional gödel functional interpretation : A consistency proof of classical analysis Type de document : monographie Auteurs : Horst LUCKHARDT, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1973 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 306 ISBN/ISSN/EAN : 978-3-540-06119-9 Note générale : Références Langues : Anglais (eng) Catégories : 02D02
02E05Mots-clés : logique Extensional gödel functional interpretation : A consistency proof of classical analysis [monographie] / Horst LUCKHARDT, Auteur . - Springer-Verlag, 1973. - (Lecture Note in Mathematics, ISSN 0075-8434; 306) .
ISBN : 978-3-540-06119-9
Références
Langues : Anglais (eng)
Catégories : 02D02
02E05Mots-clés : logique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3604 LN 306 Livre Recherche Salle Disponible