このページのリンク

<図書>
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
コード類 書誌ID=2000165661 NCID=BA00614866
オンライン資料 https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540152369

書誌詳細を表示

本文言語 英語
大きさ 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
巻冊次 : gw ; ISBN:3540152369
: us ; ISBN:0387152369

所蔵情報を非表示

理院・数学図書室・会議報告 : gw Venez./1983-M/Proc. 2021264143
3540152369 1985

 類似資料