Crossley, John N., 1937-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 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.クロスリー) |
生没年等 | 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> |
コード類 | 典拠ID=AU00018614 NCID=DA00749034 |
1 | 現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳 東京 : 共立出版 , 1977.11 |
2 | 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 |