Intuitionistic mathematics - Congresses.
Overview
| Works: | 2 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Intuitionism and proof theory = Proceedings of the summer conference at Buffalo, N.Y., 1968 /
by:
(Language materials, printed)
The L.E.J. Brouwer Centenary Symposium = proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
by:
(Language materials, printed)