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
|
Nantilus
