Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleLogic, Meaning and Computation [electronic resource] : Essays in Memory of Alonzo Church / edited by C. Anthony Anderson, Michael Zelรซny
ImprintDordrecht : Springer Netherlands : Imprint: Springer, 2001
Connect to
Descript XIII, 627 p. online resource


Logic, truth and number: The elementary genesis of arithmetic -- Second-order logic -- A representation of relation algebras using Routley-Meyer frames -- Churchโ{128}{153}s set theory with a universal set -- Axioms of infinity in Churchโ{128}{153}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 โ{128}{156}triumphโ{128}{157} of first-order languages -- Equivalence relations and groups -- Discriminating coded lambda terms -- ?-calculus as a foundation for mathematics -- Peanoโ{128}{153}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โ{128}{153} program and the moral and political significance of Churchโ{128}{153}s theorem -- Tarskiโ{128}{153}s theorem and NFU -- Churchโ{128}{153}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

Philosophy Logic Language and languages -- Philosophy Mathematical logic Philosophy Logic Mathematical Logic and Foundations Philosophy of Language


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram