Advertisement

© 1975

⊨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. Gaisi Takeuti
    Pages 365-369
  2. Back Matter
    Pages 385-386

About these proceedings

Keywords

Beweistheorie Schütte, Kurt proof proof theory type theory

Bibliographic information

  • Book Title ⊨ISILC Proof Theory Symposion
  • Book Subtitle Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
  • Editors J. Diller
    G.H. Müller
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0079542
  • Copyright Information Springer-Verlag Berlin Heidelberg 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-07533-2
  • eBook ISBN 978-3-540-38020-7
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages CD, 390
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
Industry Sectors
Finance, Business & Banking