---

＜図書＞
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. Muller, G. Takeuti, and T. Tugue.
(Lecture notes in mathematics ; 891)

出版者	Berlin : Springer
出版年	1981
大きさ	xi, 394 p. ; 25 cm.
著者標目	Logic Symposia (1979 ; Hakone-machi, Japan) Muller, G. H. (Gert Heinz), 1923- Takeuti, Gaishi, 1926- Tugue, T., 1926- Logic Symposia (1980 ; Hakone-machi, Japan)
件　名	Logic, Symbolic and mathematical -- Congresses  全ての件名で検索

 類似資料