Constructivity in Mathematics
Proceedings of the Colloquium held at Amsterdam, 1957. Edited by Prof. A. Heyting. (Studies in Logic and the Foundations of Mathematics.) Pp. viii + 297. (Amsterdam: North-Holland Publishing Company, 1959.) 60s.
Article PDF
Rights and permissions
About this article
Cite this article
WANG, H. Formalization of Constructive Concepts. Nature 184, 1435 (1959). https://doi.org/10.1038/1841435a0
Issue Date:
DOI: https://doi.org/10.1038/1841435a0