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

MaRDI QIDQ1396582zbMATH OpenFDO

Authors

Publication date 3 July 2003

Published in Synthese Library (Search for Journal in Brave)

zbMATH Keywords

LogicComputationEssaysMeaning

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Collections of articles of general interest (00B10)

Cited in

(11)

• On the decidability of implicational ticket entailment
• Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• Logic and grammar. Essays dedicated to Alain Lecomte on the occasion of his 60th birthday
• Logic at work. Essays dedicated to the memory of Helena Rasiowa
• Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai
• 2006–07 Winter Meeting of the Association for Symbolic Logic
• If structured propositions are logical procedures then how are procedures individuated?
• The senses of functions in the logic of sense and denotation
• scientific article; zbMATH DE number 6934359 (Why is no real title available?)
• THE ITERATIVE CONCEPTION OF SET

This page was built for publication: Logic, meaning and computation. Essays in memory of Alonzo Church

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1396582)