---

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué
(Lecture notes in mathematics ; 891)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1981
形態	xi, 394 p. ; 25 cm
著者標目	*Logic Symposia (1979 : Hakone-machi, Japan) Müller, G. H. (Gert Heinz), 1923- 竹内, 外史(1926-) <タケウチ, ガイシ> 柘植, 利之(1926-) <ツゲ, トシユキ>
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:410.8 NDC:410.1 DDC:510 s DDC:511.3 LCC:QA3 LCC:QA9.A1
書誌ID	LT00177831

 類似資料