Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1968

Proceedings of the Summer School in Logik, Leeds, 1967

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

Editors:

  1. M. H. Löb
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (10 papers)

  1. Front Matter

    Pages N2-IV
    PDF

  2. Lectures on proof theory

    • Solomon Feferman
    Pages 1-107

  3. Partitions and models

    • Michael Morley
    Pages 109-158

  4. Klassen rekursiver funktionen

    • D. Rödding
    Pages 159-222

  5. Hyperarithmetic ultrafilters

    • J. P. Cleave
    Pages 223-240

  6. Recursive equivalence: A survey

    • John N. Crossley
    Pages 241-251

  7. Half-ring morphologies

    • A. S. Davis
    Pages 253-268

  9. Theories which are not χo-categorical

    • Joseph G. Rosenstein
    Pages 273-278

  11. The Π 1 1 -comprehension schema and ω-rules

    • Gaisi Takeuti
    Pages 303-331

  12. Back Matter

    Pages 333-335
    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Proceedings of the Summer School in Logik, Leeds, 1967

  • Book Subtitle: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

  • Editors: M. H. Löb

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1968

  • Softcover ISBN: 978-3-540-04240-2Published: 01 January 1968

  • eBook ISBN: 978-3-540-35886-2Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: IV, 331

  • Topics: Mathematical Logic and Foundations

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation