skip to content
Logic, meaning, and computation : essays in memory of Alonzo Church Preview this item
ClosePreview this item
Checking...

Logic, meaning, and computation : essays in memory of Alonzo Church

Author: Alonzo Church; C Anthony Anderson; Michael Zelëny
Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, 2001.
Series: Synthese library, v. 305.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

Contains papers by well-known scholars, most of whom have been directly influenced by Alonzo Church's own work. This work emphasises on foundational issues in logic, mathematics, computation, and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Alonzo Church; Alonzo Church
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alonzo Church; C Anthony Anderson; Michael Zelëny
ISBN: 140200141X 9781402001413
OCLC Number: 48144457
Description: xiii, 627 p. : ill. ; 25 cm.
Contents: Preface; C.A. Anderson, M. Zeleny. Remembering Alonzo Church; D. Kaplan, T. Burge. Part 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. Part 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. Part 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 andsemantical 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. Index.
Series Title: Synthese library, v. 305.
Responsibility: edited by C. Anthony Anderson and Michael Zelëny.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/48144457>
library:oclcnum"48144457"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/48144457>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://viaf.org/viaf/83621378>
rdf:typeschema:Person
schema:birthDate"1903"
schema:deathDate"1995"
schema:familyName"Church"
schema:givenName"Alonzo"
schema:name"Church, Alonzo, 1903-1995."
schema:name"Church, Alonzo, b. 1903."
schema:name"Church, Alonzo"
schema:about
<http://id.worldcat.org/fast/1002068>
rdf:typeschema:Intangible
schema:name"Logic, Symbolic and mathematical"@en
schema:name"Logic, Symbolic and mathematical."@en
schema:about
schema:contributor
schema:contributor
<http://viaf.org/viaf/83621378>
rdf:typeschema:Person
schema:birthDate"1903"
schema:deathDate"1995"
schema:familyName"Church"
schema:givenName"Alonzo"
schema:name"Church, Alonzo, 1903-1995."
schema:name"Church, Alonzo, b. 1903."
schema:name"Church, Alonzo"
schema:contributor
schema:datePublished"2001"
schema:exampleOfWork<http://worldcat.org/entity/work/id/805683673>
schema:inLanguage"en"
schema:name"Logic, meaning, and computation : essays in memory of Alonzo Church"@en
schema:numberOfPages"627"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.