ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

Author(s)

• International Summer Institute and Logic Colloquium
• Müller, G. H. (Gert Heinz)
• Oberschelp, A
• Potthoff, Klaus

Bibliographic Information

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

edited by G.H. Müller, A. Oberschelp, K. Potthoff

（Lecture notes in mathematics, 499）

Springer-Verlag, 1975

• : gw
• : u.s.

Other Title

Logic Conference

Note

Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974

Papers on proof theory dedicated to Kurt Schütte are published as a separate volume of these proceedings

Includes bibliographies

Details

• NCID: BA00214154
• ISBN:
  • 3540075348
  • 0387075348
• LCCN: 75040481
• Country Code: gw
• Title Language Code: eng
• Text Language Code: engfre
• Place of Publication: Berlin ; New York
• Pages/Volumes: iv, 651 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.A1
  • DC : 510/.8 s
  • DC : 511/.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • LCSH : Set theory -- Congresses
• Parent Bibliography ID:
  • BA00146586