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

Date : 1969

Type : Livre / Book

Langue / Language : anglais / English

Mathématiques intuitionnistes

Classification Dewey : 164

Troelstra, Anne Sjerp (Auteur / author)

Collection : Lecture notes in mathematics / ed. by A. Dold and B. Eckmann / Berlin : Springer , 1964-

Relation : Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. / A. S. Troelstra,... / Berlin [etc.] : Springer