The Elements of Mathematical Logic
New York]Dover Publications (1950)
|Abstract||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|
No categories specified
(categorize this paper)
|Buy the book||$1.69 used (87% off) $2.94 new (78% off) $11.06 direct from Amazon (15% off) Amazon page|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
George Boolos, John Burgess, Richard P. & C. Jeffrey (2007). Computability and Logic. Cambridge University Press.
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Alfred B. Manaster (1975). Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic. Prentice-Hall.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford 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?