1.

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

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

図書
図書
3. 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