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)
Extensional gödel functional interpretation / Horst LUCKHARDT (1973)
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 Catégories : 02D02
02E05Mots-clés : logique Extensional gödel functional interpretation : A consistency proof of classical analysis [monographie] / Horst LUCKHARDT, Auteur . - Berlin : Springer-Verlag, 1973. - (Lecture Note in Mathematics, ISSN 0075-8434; 306) .
ISBN : 978-3-540-06119-9
Références
Langues : Anglais
Catégories : 02D02
02E05Mots-clés : logique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3604 LN 306 Livre Recherche Salle Disponible Proof theory and intuitionistic systems / Bruno SCARPELLINI (1971)
Titre : Proof theory and intuitionistic systems Type de document : monographie Auteurs : Bruno SCARPELLINI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1971 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 212 ISBN/ISSN/EAN : 978-3-540-05541-9 Langues : Anglais Catégories : 02C15
02D99
02E05Mots-clés : logique Proof theory and intuitionistic systems [monographie] / Bruno SCARPELLINI, Auteur . - Berlin : Springer-Verlag, 1971. - (Lecture Note in Mathematics, ISSN 0075-8434; 212) .
ISBN : 978-3-540-05541-9
Langues : Anglais
Catégories : 02C15
02D99
02E05Mots-clés : logique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3987 LN 212 Livre Recherche Salle Disponible Proof theory symposion / J. DILLER (1975)
Titre : Proof theory symposion : Proceedings of the international summer institute and logic colloquium, Kiel 1974 Type de document : monographie Auteurs : J. DILLER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 500 ISBN/ISSN/EAN : 978-3-540-07533-2 Langues : Allemand Catégories : 02D05
02D99
02E05
02F29
02F40Mots-clés : théorie de Proof Proof theory symposion : Proceedings of the international summer institute and logic colloquium, Kiel 1974 [monographie] / J. DILLER, Auteur . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 500) .
ISBN : 978-3-540-07533-2
Langues : Allemand
Catégories : 02D05
02D99
02E05
02F29
02F40Mots-clés : théorie de Proof Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5200 LN 500 Livre Recherche Salle Disponible