著者典拠情報

著者標目形：
Heyting, A. (Arend), 1898-
属性：
Personal
日付：
1898-
から見よ参照形：
Heyting, Arend, 1898-
注記：
Author's Mathematische grundlagenforschung ... 1934
His Logic and foundations of mathematics, 1968
著者典拠ID：
DA00234624


1.

図書
図書
1. Constructivism in mathematics : an introduction (v. 1 ; v. 1:pbk. ; v. 2)
A.S. Troelstra, D. van Dalen
出版情報: Amsterdam ; Tokyo : North-Holland, 1988
シリーズ名: Studies in logic and the foundations of mathematics ; v. 121, 123
所蔵情報: 図書館
2.

図書
図書
2. Philosophy and foundations of mathematics (: North-Holland ; : American Elsevier)
edited by A. Heyting
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1975
シリーズ名: Collected works / L. E. J. Brouwer ; v. 1
所蔵情報: 図書館
3.

図書
図書
3. Axiomatic projective geometry
by A. Heyting
出版情報: Groningen : P. Noordhoff , New York : Sole distribution for U.S.A., Interscience Publishers, a division of John Wiley & Sons, [1963]
シリーズ名: Bibliotheca mathematica ; v. 5
所蔵情報: 図書館
4.

図書
図書
4. Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
edited by A. Heyting
出版情報: Amsterdam : North-Holland Publishing Co., 1959
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館