Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Logic, Meaning and Computation
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Logic, Meaning and Computation Essays in Memory of Alonzo Church / edited by C. Anthony Anderson, Michael Zelëny.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Anderson, C. Anthony
(Editor)
,
Zelëny, Michael
(Editor)
Format:
eBook
Language:
English
Published:
Dordrecht :
Springer Netherlands : Imprint: Springer,
2001.
Edition:
1st ed. 2001.
Series:
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
305
Springer eBook Collection.
Subjects:
Logic.
Mathematical logic.
Language and languages—Philosophy.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
Logic, truth and number: The elementary genesis of arithmetic
Second-order logic
A representation of relation algebras using Routley-Meyer frames
Church’s set theory with a universal set
Axioms of infinity in Church’s type theory
Logical objects
The lambda calculus and adjoint functors
Atomic Boolean algebras and classical propositional logic
Improved decision procedures for pure relevant logic
The “triumph” of first-order languages
Equivalence relations and groups
Discriminating coded lambda terms
?-calculus as a foundation for mathematics
Peano’s lambda calculus: The functional abstraction implicit in arithmetic
The undecidability of ?-definability
A construction of the provable wellorderings of the theory of species
Semantics for first and higher order realizability
Language and equality theory in logic programming
Alternative (1*): A criterion of identity for intensional entities
Nominalist paraphrase and ontological commitment
Peace, justice and computation: Leibniz’ program and the moral and political significance of Church’s theorem
Tarski’s theorem and NFU
Church’s theorem and randomness
Russellian type theory and semantical paradoxes
The logic of sense and denotation: Extensions and applications
Analysis, synonymy and sense
The very possibility of language.
Similar Items
Handbook of Philosophical Logic Volume 14
Published: (2007)
Logical Form Between Logic and Natural Language
by: Iacona, Andrea
Published: (2018)
Mind, Meaning and Mathematics Essays on the Philosophical Views of Husserl and Frege
Published: (1994)
Philosophical Logic in Poland
Published: (1994)
Paraconsistency: Logic and Applications
Published: (2013)