close
1.

図書
図書
1. Five papers on logic and foundations
by G.S. Ceĭtin ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1972
シリーズ名: American Mathematical Society translations ; ser. 2, v. 99
所蔵情報: loading…
2.

図書
図書
2. Studies in constructive mathematics and mathematical logic (pt. 1 ; pt. 2 ; pt. 3)
Edited by A. O. Slisenko
出版情報: New York : Consultants Bureau, 1969-
シリーズ名: Seminars in mathematics ; v. 4, 8, 16
所蔵情報: loading…
3.

図書
図書
3. Fine structure and iteration trees (: gw ; : us)
William J. Mitchell, John R. Steel
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in logic ; 3
所蔵情報: loading…
4.

図書
図書
4. Predicative arithmetic
by Edward Nelson
出版情報: Princeton, N.J. : Princeton University Press, 1986
シリーズ名: Mathematical notes ; 32
所蔵情報: loading…
5.

図書
図書
5. Lectures on constructive mathematical analysis
by B.A. Kushner ; [translated from the Russian by E. Mendelson ; translation edited by Lev. J. Leifman]
出版情報: Providence, R.I. : American Mathematical Society, c1984
シリーズ名: Translations of mathematical monographs ; v. 60
所蔵情報: loading…
6.

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

図書
図書
7. Constructive functional analysis
D.S. Bridges
出版情報: London ; San Francisco : Pitman, 1979
シリーズ名: Research notes in mathematics ; 28
所蔵情報: loading…
8.

図書
図書
8. Handbook of constructive mathematics (: hardback)
edited by Douglas Bridges ... [et al.]
出版情報: Cambridge : Cambridge University Press, 2023
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 185
所蔵情報: loading…
9.

図書
図書
9. Varieties of constructive mathematics
Douglas Bridges, Fred Richman
出版情報: Cambridge : Cambridge University Press, 1987
シリーズ名: London Mathematical Society lecture note series ; 97
所蔵情報: loading…