城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Crossley John N.)
該当件数:6件
What is mathematical logic? / {By} J. N. Crossley {and others}
London : Oxford University Press , 1972
図書
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)
Constructive order types / {By} John N. Crossley.
Amsterdam : North-Holland , 1969. - (Studies in logic and the foundations of mathematics)
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)
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)
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書 ; 553)