1.

図書
図書
1. Recursion theory
[edited by Anil Nerode, Richard A. Shore]
出版情報: Providence, R.I. : American Mathematical Society, c1985
シリーズ名: Proceedings of symposia in pure mathematics ; v. 42
所蔵情報: loading…
2.

図書
図書
2. Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
edited by Luiz Paulo de Alcantara
出版情報: New York : M. Dekker, c1985
シリーズ名: Lecture notes in pure and applied mathematics ; v. 94
所蔵情報: loading…
3.

図書
図書
3. Algebraic logic
S.G. Gindikin ; translated by Robert H. Silverman
出版情報: New York ; Tokyo : Springer-Verlag, c1985
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
4.

図書
図書
4. ε-δに泣く
石谷茂著
出版情報: 京都 : 現代数学社, 1976.10
シリーズ名: 数学の盲点とその解明 / 石谷茂著
所蔵情報: loading…
5.

図書
図書
5. 数学と論理と
J.R.ニューマン他編 ; 林雄一郎訳編
出版情報: 東京 : 東京図書, 1970
シリーズ名: 科学技術選書
所蔵情報: loading…
6.

図書
図書
6. Foundations of constructive mathematics : metamathematical studies (U.S. ; Germany ; : pbk)
Michael J. Beeson
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6
所蔵情報: loading…
7.

図書
図書
7. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 (: gw ; : us)
edited by C.A. Di Prisco
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in mathematics ; 1130
所蔵情報: loading…
8.

図書
図書
8. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (: Germany ; : U.S.)
edited by J.N. Crossley
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 450
所蔵情報: loading…
9.

図書
図書
9. An outline of set theory (: U.S. ; : Germany)
James M. Henle
出版情報: New York ; Tokyo : Springer-Verlag, c1986
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
10.

図書
図書
10. 初等記号論理学入門
倉田令二朗, 中村修著
出版情報: 東京 : 国土社, 1974.2
シリーズ名: 数学ぶっくす ; 7
所蔵情報: loading…