著者典拠情報

著者標目形：
Crossley, John N., 1937-
属性：
Personal
日付：
1937
から見よ参照形：
Crossley, J. N. (John N.)
Crossley, John Newsome
J. N. C. (John Newsome Crossley)
Kuo, Shu-li
Guo, Shuli
郭, 樹理(1937-)||カク, ジュリ
クロスリー, J.N.(1937-)||クロスリー, J N
注記：
LCCN 66-2289: Logic Colloquium (8th : 1963 : Oxford, Oxfordshire). Formal systems and recursive functions, 1965 (hdg.: Crossley, John N.; usage: J.N. Crossley)
Li, Y. Chinese mathematics, 1986: CIP t.p. (John N. Crossley; John Newsome Crossley) CIP added t.p., etc. (Kuo Shu-li [in Chinese: 郭樹理]; J.N.C.)
b. 1937
「現代数理論理学入門」(1977)の著者 (J.N.クロスリー)
著者典拠ID：
DA00749034


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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
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
所蔵情報: 図書館, 研究室