NCID | BA07303784 |
タイトル | Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.) |
出版者 | Berlin ; Tokyo : Springer-Verlag , c1989 |
形態 | 222 p. ; 25 cm |
注記 | "The '87th Meeting on Mathematical Logic and its Applications was held at the Research Institute of Mathematical Sciences (RIMS) of Kyoto University during August 3-6, 1987"--Pref Includes bibliographical references |
シリーズ名 | Lecture notes in mathematics ; 1388
|
分類 | LCC:QA3 LCC:QA9.A1 DC20:510 s NDC8:410.8 DC20:511.3 |
件名 | LCSH:Logic,Symbolicandmathematical -- Congresses
|
著者情報 | 篠田, 壽一(1948-) (シノダ, ジュイチ) Slaman, T. A. (Theodore Allen), 1954- 柘植, 利之(1926-) (ツゲ, トシユキ) Meeting on Mathematical Logic and its Applications
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | ドイツ = ドイツ連邦共和国 |
ISBN | 3540515275(: gw) 0387515275(: us)
|
番号 | LCCN : 89021596 |