Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Crossley John N.)
Results:6items
Constructive order types / {By} John N. Crossley.
Amsterdam : North-Holland , 1969. - (Studies in logic and the foundations of mathematics)
Books
Sets, models and recursion theory, Proceedings of the summer school in mathematical logic and tenth logic colloquium leiceter August-September 1965 / ed. by John N. Crossley.
1965. - Amsterdam : North-Holland , 1967. - (Studies in logic and the foundations of mathematics ; 1965)
What is mathematical logic? / {By} J. N. Crossley {and others}
London : Oxford University Press , 1972
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley.
450. - Berlin : Springer , 1975. - (Lecture notes in mathematics ; 450)
Proceedings of the eighth logic colloquium Oxford July 1963; formal systems and recursive functions / ed. by J. N. Crossley & M. A. E. Dummett.
1963. - Amsterdam : North-Holland , 1965. - (Studies in logic and the foundations of mathematics ; 1963)
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書 ; 553)