Skip to main content
  • Conference proceedings
  • © 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

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

Buying options

eBook USD 34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

    Pages I-VIII
  2. Verzeichnis der Publikationen von Kurt Schütte

    • Justus Diller, Gert H. Müller
    Pages 1-3
  3. Sound functors

    • J N Crossley, Anil Nerode
    Pages 26-43
  4. Intensionale Funktionalinterpretation der Analysis

    • Justus Diller, Helmut Vogel
    Pages 56-72
  5. Strong normalization for arithmetic

    • Daniel Leivant
    Pages 182-197
  6. Intuitionistic completeness of a restricted second-order logic

    • E. G. K. Lopez-Escobar, W. Veldman
    Pages 198-232
  7. Bemerkungen zu Regel und Schema

    • B. Scarpellini
    Pages 320-340
  8. Infinite terms and recursion in higher types

    • H. Schwichtenberg, S. S. Wainer
    Pages 341-364

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: Justus Diller, Gert H. Müller

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0079542

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07533-2Published: 01 January 1976

  • eBook ISBN: 978-3-540-38020-7Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: CD, 390

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions