Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. [monographie]

Auteur(s): Troelstra, Anne Sjerp
Langue: anglais
Collection: Lecture notes in mathematics, n° 95
Editeur, date d'édition: Springer, 1969
Ville(s) d'édition: Berlin (DE), Heidelberg (DE), New York (US)
Congrés: Principles of intuitionism (1968)
New York (US)
ISSN: 0075-8434
Classification MSC: 02.23 (2000)
Notes: Bibliogr. pp. 108-111 ; 28 cm ; 111 p.
Thèmes: mathematique intuitionnistes, congres, intuitionistic mathematics

05 TRO 69Disponible