Kino, Akiko
[HerausgeberIn];
Myhill, John
[Sonstige Person, Familie und Körperschaft]
;
Summer Conference on Intuitionism and Proof Theory 1968 Buffalo, NY
Troelstra, Anne S.
[HerausgeberIn];
Dalen, Dirk van
[Sonstige Person, Familie und Körperschaft];
Brouwer, Luitzen E. J.
[GefeierteR]
;
L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout
Barwise, Jon
[HerausgeberIn];
Kleene, Stephen Cole
[GefeierteR];
Cole, Stephen
[Sonstige Person, Familie und Körperschaft]
;
Kleene Symposium 1978 Madison, Wis
Lawvere, Francis William
[Sonstige Person, Familie und Körperschaft];
Bucur, Ion
[Sonstige Person, Familie und Körperschaft];
Lawvere, Francis W.
[HerausgeberIn]
;
Dalhousie University,
Conference on Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic 1971 Halifax, Nova Scotia