1.

図書
図書
1. Logical methods : in honor of Anil Nerode's sixtieth birthday (: us ; : sz)
John N. Crossley ... [et al.], editors
出版情報: Boston : Birkhäuser, 1993
シリーズ名: Progress in computer science and applied logic ; v. 12
所蔵情報: 図書館
2.

図書
図書
2. Chinese mathematics : a concise history
by Lĭ Yăn and Dù Shírán ; translated by John N. Crossley and Anthony W.-C. Lun
出版情報: Oxford : Clarendon Press, 1987
シリーズ名: Oxford science publications
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館
4.

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