close
1.

図書
図書
1. Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965
edited by John N. Crossley
出版情報: Amsterdam : North-Holland, 1967
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
2.

図書
図書
2. Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
edited by J.N. Crossley and M.A.E. Dummett
出版情報: Amsterdam : North-Holland, 1965
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…