Logic, meaning and computation. Essays in memory of Alonzo Church (Q1396582)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Apostoli, Peter}, Logic, truth and number: The elementary genesis of arithmetic, 3-59 [Zbl 1025.03057] \textit{Corcoran, John}, Second-order logic, 61-75 [Zbl 1023.03516] \textit{Dunn, J. Michael}, A representation of relation algebras using Routley-Meyer frames, 77-108 [Zbl 1039.03051] \textit{Forster, Thomas}, Church's set theory with a universal set, 109-138 [Zbl 1031.03066] \textit{Gandy, Robin O.}, Axioms of infinity in Church's type theory, 139-147 [Zbl 1023.03009] \textit{Keenan, Edward L.}, Logical objects, 149-180 [Zbl 1031.03010] \textit{Mac Lane, Saunders}, The lambda calculus and adjoint functors, 181-184 [Zbl 1023.03010] \textit{Massey, Gerald J.}, Atomic Boolean algebras and classical propositional logic, 185-189 [Zbl 1028.03010] \textit{Meyer, Robert K.}, Improved decision procedures for pure relevant logic, 191-217 [Zbl 1023.03014] \textit{Shapiro, Stewart}, The ``triumph'' of first-order languages, 219-259 [Zbl 1021.03502] \textit{Smullyan, Raymond}, Equivalence relations and groups, 261-271 [Zbl 1031.03065] \textit{Barendregt, Henk}, Discriminating coded lambda terms, 275-285 [Zbl 1021.03506] \textit{Grue, Klaus}, \(\lambda\)-calculus as a foundation for mathematics, 287-311 [Zbl 1030.03013] \textit{Leivant, Daniel}, Peano's lambda calculus: The functional abstraction implicit in arithmetic, 313-329 [Zbl 1031.03019] \textit{Loader, Ralph}, The undecidability of \(\lambda\)-definability, 331-342 [Zbl 1031.03020] \textit{Martin-Löf, Per}, A construction of the provable wellorderings of the theory of species, 343-351 [Zbl 1050.03038] \textit{McLarty, Colin}, Semantics for first and higher order realizability, 353-363 [Zbl 1031.03082] \textit{Shepherdson, John C.}, Language and equality theory in logic programming, 365-392 [Zbl 1034.68018] \textit{Anderson, C. Anthony}, Alternative (1\(^{\ast}\)): A criterion of identity for intensional entities, 395-427 [Zbl 1031.03007] \textit{Burgess, John P.}, Nominalist paraphrase and ontological commitment, 429-443 [Zbl 1022.03003] \textit{Detlefsen, Michael}, Peace, justice and computation: Leibniz' program and the moral and political significance of Church's theorem, 445-467 [Zbl 1028.03004] \textit{Holmes, M. Randall}, Tarski's theorem and NFU, 469-478 [Zbl 1031.03067] \textit{Mar, Gary}, Church's theorem and randomness, 479-490 [Zbl 1022.03002] \textit{Martino, Enrico}, Russellian type theory and semantical paradoxes, 491-505 [Zbl 1031.03012] \textit{Parsons, Terence}, The logic of sense and denotation: Extensions and applications, 507-543 [Zbl 1023.03004] \textit{Richard, Mark}, Analysis, synonymy and sense, 545-571 [Zbl 1023.03521] \textit{Salmon, Nathan}, The very possibility of language, 573-595 [Zbl 1019.03500]