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.クロスリー) |
| Dates of Birth and Death | 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=AU20047481 NCID=DA00749034 |
| 1 | 現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳 東京 : 共立出版 , 1977.11 |
| 2 | Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J.N. Crossley : Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975 |
| 3 | Constructive order types / [By] John N. Crossley Amsterdam ; London : North-Holland Pub. Co. , 1969 |