Foundations of constructive mathematics / Beeson, Michael J.

Public ISBD Titre : Foundations of constructive mathematics : mathematical studies Type de document : texte imprimé Auteurs : Beeson, Michael J. Editeur : Springer-Verlag Année de publication : 1985 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 6 Importance : xxiii - 466 p. ISBN/ISSN/EAN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory Index. décimale : 03C Monographie Foundations of constructive mathematics : mathematical studies [texte imprimé] / Beeson, Michael J. . - [S.l.] : Springer-Verlag, 1985 . - xxiii - 466 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 6) . ISBN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3975	03C120	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Intuitionism / Heyting, A.

Public ISBD Titre : Intuitionism : an introduction Type de document : texte imprimé Auteurs : Heyting, A. Mention d'édition : 2nd rev. ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1966 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 136 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : logic mathematique  intuitionism Index. décimale : 03C Monographie Intuitionism : an introduction [texte imprimé] / Heyting, A.  . -  2nd rev. ed. . - Amtsterdam : North-Holland Publishing Company, 1966 . - viii - 136 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : logic mathematique  intuitionism Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9202	03C43	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1