Advertisement

Proceedings of the Summer School in Logic Leeds, 1967

N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

  • Editors
  • M. H. Löb
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-IV
  2. Solomon Feferman
    Pages 1-107
  3. Michael Morley
    Pages 109-158
  4. D. Rödding
    Pages 159-222
  5. J. P. Cleave
    Pages 223-240
  6. John N. Crossley
    Pages 241-251
  7. A. S. Davis
    Pages 253-268
  8. Joseph G. Rosenstein
    Pages 273-278
  9. Gaisi Takeuti
    Pages 303-331
  10. Back Matter
    Pages 333-335

About these proceedings

Keywords

Arithmetic Logic calculus function proof proof theory

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0079093
  • Copyright Information Springer-Verlag Berlin Heidelberg 1968
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-04240-2
  • Online ISBN 978-3-540-35886-2
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site