close
1.

図書

図書
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
所蔵情報: loading…
2.

図書

図書
A. Heyting
出版情報: Amsterdam : North-Holland Publishing Co., 1956
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
3.

図書

図書
by A. Heyting
出版情報: Groningen : P. Noordhoff , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980
シリーズ名: Bibliotheca mathematica ; v. 5
所蔵情報: loading…
4.

図書

図書
edited by Petio Petrov Petkov
出版情報: New York : Plenum Press, c1990
所蔵情報: loading…
5.

図書

図書
edited by A. Heyting
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1975
シリーズ名: Collected works / L. E. J. Brouwer ; v. 1
所蔵情報: loading…
6.

図書

図書
A. Heyting
出版情報: Amsterdam : North-Holland Pub. Co., 1966
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
7.

図書

図書
Heyting, A. (Arend), 1898- ; Dalen, D. van (Dirk), 1932- ; Scott, Dana ; Troelstra, A. S. (Anne Sjerp)
出版情報: Groningen : Wolters-Noordhoff, 1968
シリーズ名: Compositio mathematica ; v. 20
所蔵情報: loading…
8.

図書

図書
A.S. Troelstra, D. van Dalen
出版情報: Amsterdam ; Tokyo : North-Holland, 1988
シリーズ名: Studies in logic and the foundations of mathematics ; v. 121, 123
所蔵情報: loading…