このページのリンク

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco
(Lecture notes in mathematics ; 1130)

データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , c1985
本文言語 英語
大きさ vii, 407 p. ; 25 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||1130 9852440741
3540152369

書誌詳細を非表示

一般注記 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
分 類 LCC:QA3
LCC:QA9.A1
DC19:510 s
DC19:511.3
NDC8:410.8
NDC8:410.96
件 名 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
NDLSH:記号論理学
書誌ID TY00016833
ISBN 3540152369
NCID BA00614866