Titre :	Extensional godel functional interpretation
Type de document :	texte imprimé
Auteurs :	Luckhardt, H.
Editeur :	Springer-Verlag
Année de publication :	1973
Collection :	Lecture Notes in Mathematics, ISSN 0075-8434 num. 306
Importance :	Vi-161 p.
ISBN/ISSN/EAN :	978-0-387-06119-1
Langues :	Anglais
Mots-clés :	logique
Index. décimale :	LNM

Extensional godel functional interpretation [texte imprimé] / Luckhardt, H. . - [S.l.] : Springer-Verlag, 1973 . - Vi-161 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 306) .
ISBN : 978-0-387-06119-1
Langues : Anglais

Mots-clés :	logique
Index. décimale :	LNM