Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, comput...
| Main Author: | Anderson, C. Anthony |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Zelëny, Michael |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2001.
|
| Series: | Synthese library ;
305. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)
by: Gabbay, D.
Published: (1986)
Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)
by: Haaparanta, Leila
Published: (1994)
First-Order Modal Logic /
by: Fitting, Melvin
Published: (1998)
by: Fitting, Melvin
Published: (1998)
Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)
by: Marx, Maarten
Published: (1997)
An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)
by: Varzi, Achille C.
Published: (1999)
The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)
by: Benthem, Johan
Published: (1991)
The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)
by: Benthem, J. F. A. K.
Published: (1982)
Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)
by: Gabbay, D.
Published: (1984)
Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)
by: Gabbay, D.
Published: (1983)
A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)
by: Bochenski, J. M.
Published: (1959)
Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)
by: Cantini, Andrea
Published: (1999)
Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)
by: Fraïssé, Roland
Published: (1974)
The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)
by: Kijania-Placek, Katarzyna
Published: (1998)
Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)
by: Krynicki, Michał
Published: (1995)
Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)
by: Krynicki, Michał
Published: (1995)
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)
by: Gabbay, Dov M.
Published: (1976)
Acting and Reflecting : the Interdisciplinary Turn in Philosophy /
by: Sieg, Wilfried
Published: (1989)
by: Sieg, Wilfried
Published: (1989)
Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)
by: Peregrin, Jaroslav
Published: (1995)
Directions in Relevant Logic /
by: Norman, Jean
Published: (1989)
by: Norman, Jean
Published: (1989)
Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)
by: Wansing, H. (Heinrich)
Published: (1998)
Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)
by: Hendricks, Vincent F.
Published: (2003)
Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)
by: Viganò, Luca
Published: (2000)
The Logic of Epistemology and the Epistemology of Logic : Selected Essays /
by: Hintikka, Jaakko
Published: (1988)
by: Hintikka, Jaakko
Published: (1988)
Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)
by: Detlefsen, Michael
Published: (1986)
Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)
by: Dubois, Didier
Published: (1999)
From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)
by: Hintikka, Jaakko
Published: (1995)
Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)
by: Srzednicki, Jan T. J.
Published: (1998)
Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)
by: Krivine, J. L. (Jean Louis)
Published: (1971)
Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)
by: Niiniluoto, Ilkka
Published: (1987)
Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)
by: Hendricks, Vincent F.
Published: (2000)
Aspects of Philosophical Logic : Some Logical Forays into Central Notions of Linguistics and Philosophy /
by: Mönnich, Uwe
Published: (1981)
by: Mönnich, Uwe
Published: (1981)
Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)
by: Klement, E. P. (Erich Peter)
Published: (2000)
A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)
by: Marcja, A. (Annalisa)
Published: (2003)
Meaning and Inference in Medieval Philosophy : Studies in Memory of Jan Pinborg /
by: Kretzmann, Norman
Published: (1988)
by: Kretzmann, Norman
Published: (1988)
Mathematical Intuition : Phenomenology and Mathematical Knowledge /
by: Tieszen, Richard L.
Published: (1989)
by: Tieszen, Richard L.
Published: (1989)
The Growth of Mathematical Knowledge /
by: Grosholz, Emily
Published: (2000)
by: Grosholz, Emily
Published: (2000)
Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)
by: Ghilardi, Silvio
Published: (2002)
Kotarbiński: Logic, Semantics and Ontology /
by: Woleński, Jan
Published: (1990)
by: Woleński, Jan
Published: (1990)
Medieval Formal Logic : Obligations, Insolubles and Consequences /
by: Yrjönsuuri, Mikko
Published: (2001)
by: Yrjönsuuri, Mikko
Published: (2001)
Philosophical Logic and Logical Philosophy : Essays in Honour of Vladimir A. Smirnov /
by: Bystrov, P. I.
Published: (1996)
by: Bystrov, P. I.
Published: (1996)