Skip to main content
SpringerLink
Log in

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

  • Book
  • © 2001

Overview

Editors:
  1. C. Anthony Anderson

    1. University of California, Santa Barbara, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Zelëny

    1. PTYX, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Logic, Truth and Number: The Elementary Genesis of Arithmetic

      • Peter Apostoli
      Pages 3-59

    3. Second-Order Logic

      • John Corcoran
      Pages 61-75

    4. A Representation of Relation Algebras Using Routley-Meyer Frames

      • J. Michael Dunn
      Pages 77-108

    5. Church’s Set Theory with a Universal Set

      • Thomas Forster
      Pages 109-138

    6. Axioms of Infinity in Church’s Type Theory

      • Robin O. Gandy
      Pages 139-147

    7. Logical Objects

      • Edward L. Keenan
      Pages 149-180

    8. The Lambda Calculus and Adjoint Functors

      • Saunders Mac Lane
      Pages 181-184

    9. Atomic Boolean Algebras and Classical Propositional Logic

      • Gerald J. Massey
      Pages 185-189

    10. Improved Decision Procedures for Pure Relevant Logic

      • Robert K. Meyer
      Pages 191-217

    11. The “Triumph” of First-Order Languages

      • Stewart Shapiro
      Pages 219-259

    12. Equivalence Relations and Groups

      • Raymond Smullyan
      Pages 261-271
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation