Intuitionism and proof theory : proceedings of the summer conference at Buffalo, NY, 1968 ; [held at the State University of New York at Buffalo, New York, in August 1968]

Veröffentlicht 1970

Intuitionism and proof theory : proceedings of the summer conference at Buffalo, NY, 1968

Veröffentlicht 1970

Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y.

von Troelstra, Anne S.
Veröffentlicht 1969

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NJ

von Troelstra, Anne S.
Veröffentlicht 1969

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y., 1968

Veröffentlicht 1970