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. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
4.

図書
図書
4. 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…
5.

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

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

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

図書
図書
8. 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…
9.

図書
図書
9. Mathematical logic
Stephen Cole Kleene
出版情報: New York : J. Wiley, c1967
所蔵情報: loading…
10.

図書
図書
10. Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk)
edited by Jean van Heijenoort
出版情報: Cambridge, Mass. : Harvard University Press, 1970
所蔵情報: loading…