1.

図書
図書
1. Toward "Principia mathematica", 1905-08
Bertrand Russell ; edited by Gregory H. Moore
出版情報: London : Routledge, 2014
シリーズ名: The collected papers of Bertrand Russell / general editor, John Passmore ; v. 5
所蔵情報: loading…
2.

図書
図書
2. Discrete mathematics and its applications. 7th ed., Global ed / adapted by Kamala Krithivasan
Kenneth H. Rosen
出版情報: New York : McGraw-Hill, c2013
所蔵情報: loading…
3.

図書
図書
3. Studies in logic and probability
George Boole
出版情報: Mineola, N.Y. : Dover, 2012
所蔵情報: loading…
4.

図書
図書
4. Scientific philosophy
Gustavo E. Romero
出版情報: Cham : Springer, c2018
所蔵情報: loading…
5.

図書
図書
5. Purity, spectra and Localisation
Mike Prest
出版情報: Cambridge, UK : Cambridge University Press, 2009
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 121
所蔵情報: loading…
6.

図書
図書
6. An introduction to Gödel's Theorems
Peter Smith
出版情報: Cambridge, UK : Cambridge University Press, 2007
シリーズ名: Cambridge introductions to philosophy
所蔵情報: loading…
7.

図書
図書
7. Computability and logic. 5th ed
George S. Boolos, John P. Burgess, Richard C. Jeffrey
出版情報: Cambridge : Cambridge University Press, 2007
所蔵情報: loading…
8.

図書
図書
8. A course in mathematical logic for mathematicians. 2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Yu.I. Manin
出版情報: New York : Springer, c2010
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
9.

図書
図書
9. Fundamentals of mathematical logic
Peter G. Hinman
出版情報: Wellesley, Mass. : A.K. Peters, c2005
所蔵情報: loading…
10.

図書
図書
10. The foundations of mathematics
Kenneth Kunen
出版情報: London : College Publications, c2009
シリーズ名: Studies in logic / series editor, Dov Gabbay ; v. 19 . Mathematical logic and foundations
所蔵情報: loading…