Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
Logic, meaning, and computation : essays in memory of Alonzo Church / edited by C. Anthony Anderson and Michael Zelëny.
Format
Book
Language
English
Published/Created
Dordrecht ; Boston : Kluwer Academic Publishers, 2001.
Description
xiii, 627 pages : illustrations ; 25 cm.
Availability
Copies in the Library
Location
Call Number
Status
Location Service
Notes
Lewis Library - Stacks
BC135 .L576 2001
Browse related items
Request
Details
Subject(s)
Logic, Symbolic and mathematical
[Browse]
Related name
Church, Alonzo, 1903-1995
[Browse]
Anderson, C. Anthony
[Browse]
Zelëny, Michael
[Browse]
Series
Synthese library ; v. 305.
[More in this series]
Bibliographic references
Includes bibliographical references and index.
Contents
Preface / C. A. Anderson and M. Zeleny. Remembering Alonzo Church / D. Kaplan and T. Burge
Pt. I. Logic. Logic, truth and number: The elementary genesis of arithmetic / P. Apostoli. Second-order logic / J. Corcoran. A representation of relation algebras using Routley-Meyer frames / J.M. Dunn. Church's set theory with a universal set / Th. Forster. Axioms of infinity in Church's type theory / R. O. Gandy. Logical objects / E. L. Keenan. The lambda calculus and adjoint functors / S. M. Lane. Atomic Boolean algebras and classical propositional logic / G. J. Massey. Improved decision procedures for pure relevant logic / R. K. Meyer. The triumph' of first-order languages / S. Shapiro. Equivalence relations and groups / R. Smullyan
Pt. II. Computation. Discriminating coded lambda terms / H. Barendregt. lambda-calculus as a foundation for mathematics / K. Grue. Peano's lambda calculus: The functional abstraction implicit in arithmetic / D. Leivant. The undecidability of lambda-definability / R. Loader. A construction of the provable wellorderings of the theory of species / P. Martin-Lof. Semantics for first and higher order realizability / C. Mclarty. Language and equality theory in logic programming / J. C. Shepherdson
Pt. III. Philosophy, Meaning, and Intensional Logic. Alternative (1 ): A criterion of identity for intensional entities / C. A. Anderson. Nominalist paraphrase and ontological commitment / J. P. Burgess. Peace, justice and computation: Leibniz' program and the moral and political significance of Church's theorem / M. Detlefsen. Tarski's theorem and NFU / M. R. Holmes. Church's theorem and randomness / G. Mar. Russellian type theory and semantical paradoxes / E. Martino. The logic of sense and denotation: Extensions and applications / T. Parsons. Analysis, synonymy and sense / M. Richard. The very possibility of language / N. Salmon.
Show 1 more Contents items
ISBN
140200141X ((alk. paper))
9781402001413 ((alk. paper))
LCCN
2001053844
OCLC
48144457
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information