Skip to main content
  • Book
  • © 2001

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

Part of the book series: Synthese Library (SYLI, volume 305)

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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 (27 chapters)

  1. Front Matter

    Pages i-xiii
  2. Logic

    1. Front Matter

      Pages 1-1
    2. Second-Order Logic

      • John Corcoran
      Pages 61-75
    3. Church’s Set Theory with a Universal Set

      • Thomas Forster
      Pages 109-138
    4. Axioms of Infinity in Church’s Type Theory

      • Robin O. Gandy
      Pages 139-147
    5. Logical Objects

      • Edward L. Keenan
      Pages 149-180
    6. The Lambda Calculus and Adjoint Functors

      • Saunders Mac Lane
      Pages 181-184
    7. The “Triumph” of First-Order Languages

      • Stewart Shapiro
      Pages 219-259
    8. Equivalence Relations and Groups

      • Raymond Smullyan
      Pages 261-271
  3. Computation

    1. Front Matter

      Pages 273-273
    2. Discriminating Coded Lambda Terms

      • Henk Barendregt
      Pages 275-285
    3. The Undecidability of λ-Definability

      • Ralph Loader
      Pages 331-342

Editors and Affiliations

  • University of California, Santa Barbara, USA

    C. Anthony Anderson

  • PTYX, Los Angeles, USA

    Michael Zelëny

Bibliographic Information

  • Book Title: Logic, Meaning and Computation

  • Book Subtitle: Essays in Memory of Alonzo Church

  • Editors: C. Anthony Anderson, Michael Zelëny

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-010-0526-5

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Kluwer Academic Publishers 2001

  • Hardcover ISBN: 978-1-4020-0141-3Published: 31 January 2002

  • Softcover ISBN: 978-94-010-3891-1Published: 21 October 2012

  • eBook ISBN: 978-94-010-0526-5Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: XIII, 627

  • Topics: Logic, Mathematical Logic and Foundations, Philosophy of Language

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access