Items related to Elements of Mathematical Logic
Synopsis
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.
Its chapters cover the logic of classes (including a section on the structure and representation of Boolean algebras, which are applied in the following chapters to the study of deductive systems), the logic of propositions, the logic of propositional functions (summarizing the methods of Russell, Quine, Zermelo, Curry, and Church for the construction of such logics), 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.
"synopsis" may belong to another edition of this title.
- PublisherDover Publications Inc.
- Publication date1951
- ISBN 10 0486602273
- ISBN 13 9780486602271
- BindingPaperback
- LanguageEnglish
- Number of pages214
Search results for Elements of Mathematical Logic
Stock Image
Elements of Mathematical Logic
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Bundled media such as CDs, DVDs, floppy disks or access codes may not be included. Seller Inventory # V09L-01361
Quantity: 1 available
Stock Image
The Elements of Mathematical Logic
Seller: Ozark Relics and Rarities, Seneca, MO, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: Good. No Jacket. trade paperback, good condition. Seller Inventory # 5120
Quantity: 1 available