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

Détails bibliographiques
Auteur principal : Troelstra Anne Sjerp (Auteur)
Format : Livre
Langue : anglais
Titre complet : Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. / A. S. Troelstra,...
Publié : Berlin, Heidelberg, New York : Springer-Verlag , 1969, cop. 1969
Description matérielle : 1 vol. (111 p.)
Collection : Lecture notes in mathematics ; 95
Sujets :
Documents associés : Autre format: Principles of intuitionism
Description
Notes : SUNY = State university of New York
Bibliographie : Bibliogr. p. 108-111