1.

図書
図書
1. A hierarchy of formulas in set theory
by Azriel Lévy
出版情報: Providence, R.I. : American Mathematical Society, 1965
シリーズ名: Memoirs of the American Mathematical Society ; no. 57
所蔵情報: loading…
2.

図書
図書
2. Mathematical logic
J. Donald Monk
出版情報: New York : Springer-Verlag, 1976
シリーズ名: Graduate texts in mathematics ; 37
所蔵情報: loading…
3.

図書
図書
3. Vollständige Systeme modaler und intuitionistischer logik
von Kurt Schütte
出版情報: Berlin : Springer, 1968
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42
所蔵情報: loading…
4.

図書
図書
4. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
5.

図書
図書
5. Grundlagen der Mathematik. 2. Aufl (v. 1 - v. 2 : pbk)
D. Hilbert und P. Bernays
出版情報: Berlin : Springer, 1968-1970
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50
所蔵情報: loading…
6.

図書
図書
6. A course in mathematical logic (: us ; : gw)
Yu.I. Manin ; translated from the Russian by Neal Koblitz
出版情報: New York ; Berlin : Springer, c1977
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
7.

図書
図書
7. Logic and structure. 2nd ed., corrected 2nd print (: us:pbk. ; : gw)
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1983
シリーズ名: Universitext
所蔵情報: loading…
8.

図書
図書
8. Induction and analogy in mathematics (: hbk ; : pbk)
by G. Polya
出版情報: Princeton : Princeton University Press, 1954
シリーズ名: Mathematics and plausible reasoning ; v. 1
所蔵情報: loading…
9.

図書
図書
9. Patterns of plausible inference (: cloth ; : paper)
by G. Polya
出版情報: Princeton : Princeton University Press, 1954
シリーズ名: Mathematics and plausible reasoning ; v. 2
所蔵情報: loading…
10.

図書
図書
10. Non-standard analysis. Rev. ed (series ; ne ; us)
Abraham Robinson
出版情報: Amsterdam : North-Holland , New York : American Elsevier, 1974
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…