1.

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

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

図書
図書
3. Complexity, logic, and recursion theory
edited by Andrea Sorbi
出版情報: New York : Marcel Dekker, c1997
シリーズ名: Lecture notes in pure and applied mathematics ; v. 187
所蔵情報: loading…
4.

図書
図書
4. Computability, enumerability, unsolvability : directions in recursion theory
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
出版情報: Cambridge : Cambridge University Press, 1996
シリーズ名: London Mathematical Society lecture note series ; 224
所蔵情報: loading…
5.

図書
図書
5. First-order dynamic logic
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…
6.

図書
図書
6. General recursion theory : an axiomatic approach
Jens E. Fenstad
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
7.

図書
図書
7. Techniques of admissible recursion theory
C.T. Chong
出版情報: Berlin ; New York : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1106
所蔵情報: loading…