Logic, meaning and computation. Essays in memory of Alonzo Church
From MaRDI portal
Publication:1396582
zbMath1017.00057MaRDI QIDQ1396582
No author found.
Publication date: 3 July 2003
Published in: Synthese Library (Search for Journal in Brave)
Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Collections of articles of general interest (00B10)
Related Items (7)
The Senses of Functions in the Logic of Sense and Denotation ⋮ 2006–07 Winter Meeting of the Association for Symbolic Logic ⋮ On the decidability of implicational ticket entailment ⋮ THE ITERATIVE CONCEPTION OF SET ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF ⋮ Alonzo Church's Contributions to Philosophy and Intensional Logic
This page was built for publication: Logic, meaning and computation. Essays in memory of Alonzo Church
