1.

図書
図書
1. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (: Germany ; : U.S.)
edited by J.N. Crossley
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 450
所蔵情報: loading…
2.

図書
図書
2. Combinatorial functors (: u.s. ; : gw)
J.N. Crossley, Anil Nerode
出版情報: Berlin : Springer-Verlag, 1974
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 81
所蔵情報: loading…
3.

図書
図書
3. Adapting proofs-as-programs : the Curry-Howard protocol (: hbk ; : pbk)
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
出版情報: New York, N.Y. : Springer, c2005
シリーズ名: Monographs in computer science
所蔵情報: loading…
4.

図書
図書
4. 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…
5.

図書
図書
5. The nine chapters on the mathematical art : companion and commentary (: us ; : cc)
Shen Kangshen, John N. Crossley, Anthony W.-C. Lun
出版情報: Oxford ; Tokyo : Oxford University Press , Beijing : Science Press, 1999
所蔵情報: loading…
6.

図書
図書
6. The emergence of number (pbk.)
by J.N. Crossley
出版情報: Singapore : World Scientific, c1987
所蔵情報: loading…
7.

図書
図書
7. 現代数理論理学入門
J.N.クロスリー [ほか] 著 ; 田中尚夫訳
出版情報: 東京 : 共立出版, 1977.11
シリーズ名: 共立全書 ; 553
所蔵情報: loading…