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 | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $11.01 direct from Amazon (15% off) Amazon page | |||||||||
| Call number | BC135.R55 | |||||||||
| ISBN(s) | 0486446174 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesGeorge 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.
George Boolos (2007). Computability and Logic. Cambridge University Press.
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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-16Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
