| 出版情報 |
Berlin ; New York : Springer-Verlag , c1985 |
| 大きさ |
vii, 407 p. ; 25 cm |
| 一般注記 |
Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al
Includes bibliographies |
| 著者標目 |
*Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela)
Di Prisco, C. A., 1949-
Asociación Venezolana para el Avance de la Ciencia
|
| 件 名 |
LCSH:Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
NDLSH:記号論理学
|
| 分 類 |
LCC:QA3
LCC:QA9.A1
DC19:510 s
DC19:511.3
NDC8:410.8
NDC8:410.96
|
| 本文言語 |
英語 |
| 書誌ID |
TY00005661 |
| ISBN |
3540152369 |
| NCID |
BA00614866
|
| 巻冊次 |
: gw ; ISBN:3540152369
: us ; ISBN:0387152369
|
