Skip to main content
SpringerLink
Log in
Book cover

Logic Colloquium

Symposium on Logic held at Boston, 1972-73

  • Conference proceedings
  • © 1975

Overview

Editors:
  1. Rohit Parikh
    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 453)

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

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 papers)

  1. Front Matter

    Pages i-iv
    Download chapter PDF

  2. Combinatorial functors

    • J. N. Crossley, Anil Nerode
    Pages 1-21

  3. Equality between functionals

    • Harvey Friedman
    Pages 22-37

  4. The use of abstract language in elementary metamathematics: Some pedagogic examples

    • G. Kreisel, G. E. Mints, S. G. Simpson
    Pages 38-131

  5. Weak monadic second order theory of succesor is not elementary-recursive

    • Albert R. Meyer
    Pages 132-154

  6. The variable

    • W. V. Quine
    Pages 155-168

  7. Abolition of the fregean axiom

    • Roman Suszko
    Pages 169-239

  8. A realizability interpretation of the theory of species

    • William W. Tait
    Pages 240-251
Back to top

Keywords

Bibliographic Information

  • Book Title: Logic Colloquium

  • Book Subtitle: Symposium on Logic held at Boston, 1972-73

  • Editors: Rohit Parikh

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07155-6Published: 20 May 1975

  • eBook ISBN: 978-3-540-37483-1Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: IV, 254

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation