Constructivity in mathematics : proceedings of the Colloquium held at Amsterdam, 1957
edited by A. Heyting.
Amsterdam : North-Holland, 1959.
viii, 297 págs. ; 23 cm.
Serie: Studies in logic and the foundations of mathematics
"The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y."—Preface.
Inglés, francés, alemán.
Incluye referencias bibliográficas.