David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
New York]Dover Publications (1950)
An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction that also illustrates applications to so-called undecidability and incompleteness theorems. Other topics include the simple proof of the completeness of the theory of combinations, Church's theorem on the recursive unsolvability of the decision problem for the restricted function calculus, and the demonstrable properties of a formal system as a criterion for its acceptability. 1950 ed
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$2.89 new (78% off) $11.54 direct from Amazon (11% off) Amazon page|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2):123-136.
Geoffrey K. Pullum (2011). On the Mathematical Foundations of Syntactic Structures. Journal of Logic, Language and Information 20 (3):277-296.
Tore Langholm (1987). H. B. Smith on Modality: A Logical Reconstruction. [REVIEW] Journal of Philosophical Logic 16 (4):337 - 346.
Jean A. Phillips (1959). An Interpretation of Logical Formulas. Theoria 25 (3):158-172.
Alonso H. Vera & Herbert A. Simon (1994). Reply to Touretzky and Pomerleau: Reconstructing Physical Symbol Systems. Cognitive Science 18 (2):355-360.
Similar books and articles
George Boolos, John Burgess, Richard P. & C. Jeffrey (2007). Computability and Logic. Cambridge University Press.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Alfred B. Manaster (1975). Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic. Prentice-Hall.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2009-09-16
Recent downloads (6 months)0
How can I increase my downloads?