Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Author(s)

• Logic Symposia
• Müller, G. H. (Gert Heinz)
• 竹内, 外史 タケウチ, ガイシ
• 柘植, 利之 ツゲ, トシユキ

Bibliographic Information

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）

Springer-Verlag, 1981

• : Berlin
• : New York

Note

Includes bibliographies

Details

• NCID: BA04001552
• ISBN:
  • 3540111611
  • 0387111611
• LCCN: 81018424
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: xi, 394 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.A1
  • DC19 : 510 s
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00146586