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