ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

Bibliographic Information

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

edited by J. Diller and G.H. Müller

(Lecture notes in mathematics, 500)

Springer-Verlag, 1975

  • : gw
  • : u.s.

Other Title

Proof Theory Symposion

Search this Book/Journal
Note

Includes bibliographies

Related Books: 1-1 of 1
Details
Page Top