A Precis of Mathematical Logic /
| Main Author: | Bochenski, J. M. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1959.
|
| Series: | Synthese Library, A Series of Monographs on the Recent Development of Symbolic Logic, Significs, Sociology of Language, Sociology of Science and of Knowledge, Statistics of Language and Related Fields ;
1. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)
by: Fraïssé, Roland
Published: (1974)
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)
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)
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)
Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)
by: Gabbay, D.
Published: (1986)
Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)
by: Anderson, C. Anthony
Published: (2001)
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)
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)
Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)
by: Viganò, Luca
Published: (2000)
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)
Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)
by: Detlefsen, Michael
Published: (1986)
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)
Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)
by: Haaparanta, Leila
Published: (1994)
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)
Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)
by: Dubois, Didier
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)
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)
From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)
by: Hintikka, Jaakko
Published: (1995)
Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)
by: Niiniluoto, Ilkka
Published: (1987)
A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)
by: Marcja, A. (Annalisa)
Published: (2003)
Bridging the Gap: Philosophy, Mathematics, and Physics : Lectures on the Foundations of Science /
by: Corsi, Giovanna
Published: (1993)
by: Corsi, Giovanna
Published: (1993)
Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)
by: Klement, E. P. (Erich Peter)
Published: (2000)
Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)
by: Hendricks, Vincent F.
Published: (2000)
Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)
by: Ghilardi, Silvio
Published: (2002)
A precis of mathematical logic.
by: Bochenski, Joseph M., 1902-1995
Published: (1959)
by: Bochenski, Joseph M., 1902-1995
Published: (1959)
An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)
by: Varzi, Achille C.
Published: (1999)
Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 /
by: Keimel, Klaus
Published: (2001)
by: Keimel, Klaus
Published: (2001)
Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)
by: Meyer, John-Jules Ch
Published: (2002)
Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)
by: Bonzon, Pierre
Published: (2000)
Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)
by: Besnard, Philippe
Published: (1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)
by: Kohlas, Jürg
Published: (2000)
Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems /
by: Murawski, Roman
Published: (1999)
by: Murawski, Roman
Published: (1999)
The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)
by: Kijania-Placek, Katarzyna
Published: (1998)