⊨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

  • Editors
  • Justus Diller
  • Gert H. Müller
Conference proceedings

Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Justus Diller, Gert H. Müller
    Pages 1-3
  3. J N Crossley, Anil Nerode
    Pages 26-43
  4. Justus Diller, Helmut Vogel
    Pages 56-72
  5. Daniel Leivant
    Pages 182-197
  6. E. G. K. Lopez-Escobar, W. Veldman
    Pages 198-232
  7. B. Scarpellini
    Pages 320-340
  8. H. Schwichtenberg, S. S. Wainer
    Pages 341-364

About these proceedings

Keywords

Beweistheorie Schütte, Kurt proof proof theory type theory

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0079542
  • Copyright Information Springer-Verlag Berlin Heidelberg 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07533-2
  • Online ISBN 978-3-540-38020-7
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book