Computation and Proof Theory

Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

  • Editors
  • Egon Börger
  • Walter Oberschelp
  • Michael M. Richter
  • Brigitta Schinzel
  • Wolfgang Thomas
Conference proceedings

DOI: 10.1007/BFb0099476

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Klaus Ambos-Spies
    Pages 1-37
  3. Hans-Georg Carstens, Peter Päppinghaus
    Pages 39-62
  4. C. T. Chong, C. G. Jockusch
    Pages 63-77
  5. J. N. Crossley, J. B. Remmel
    Pages 79-100
  6. Larry Denenberg, Harry R. Lewis
    Pages 101-115
  7. E. C. Dennis-Jones, S. S. Wainer
    Pages 117-128
  8. E. J. Farkas, M. E. Szabo
    Pages 129-142
  9. Solomon Feferman
    Pages 143-162
  10. Petr Hájek
    Pages 217-232
  11. Peter G. Hinman
    Pages 233-258
  12. Christoph Kreitz, Klaus Weihrauch
    Pages 259-278
  13. Per Lindström
    Pages 279-288

About these proceedings

Keywords

Computation Equivalence Finite Mathematische Logik /Bericht equation mathematics proof proof theory recursion

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-13901-0
  • Online ISBN 978-3-540-39119-7
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692