Advertisement

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

  • C. Anthony Anderson
  • Michael Zelëny

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Logic

    1. Front Matter
      Pages 1-1
    2. John Corcoran
      Pages 61-75
    3. Thomas Forster
      Pages 109-138
    4. Robin O. Gandy
      Pages 139-147
    5. Edward L. Keenan
      Pages 149-180
    6. Saunders Mac Lane
      Pages 181-184
    7. Stewart Shapiro
      Pages 219-259
    8. Raymond Smullyan
      Pages 261-271
  3. Computation

  4. Philosophy, Meaning, and Intensional Logic

  5. Back Matter
    Pages 597-641

About this book

Keywords

Arithmetic Equivalence language logic ontology predicate logic set theory

Editors and affiliations

  • C. Anthony Anderson
    • 1
  • Michael Zelëny
    • 2
  1. 1.University of CaliforniaSanta BarbaraUSA
  2. 2.PTYXLos AngelesUSA

Bibliographic information