| 出版情報 |
Berlin ; New York : Springer-Verlag , 1981 |
| 大きさ |
xi, 394 p. ; 25 cm |
| 一般注記 |
Includes bibliographies |
| 著者標目 |
*Logic Symposia (1979 : Hakone-machi, Japan)
Müller, G. H. (Gert Heinz), 1923-
竹内, 外史(1926-) <タケウチ, ガイシ>
柘植, 利之(1926-) <ツゲ, トシユキ>
|
| 件 名 |
LCSH:Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
|
| 分 類 |
LCC:QA3
LCC:QA9.A1
DC19:510 s
DC19:511.3
|
| 本文言語 |
英語 |
| 書誌ID |
TB10052204 |
| ISBN |
3540111611 |
| NCID |
BA04001552
|
| 巻冊次 |
: Berlin ; ISBN:3540111611
: New York ; ISBN:0387111611
|
