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.
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.
Other Popular Editions of the Same Title
Search results for The Elements of Mathematical Logic
Stock Image
The Elements of Mathematical Logic
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0486446174I3N00
Stock Image
The Elements of Mathematical Logic
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0486446174I3N10
Stock Image
The Elements of Mathematical Logic
Published by
Dover Publications, New York, 1950
ISBN 10: 0486446174
ISBN 13: 9780486446172
Used
Paperback
First Edition
Seller: Vashon Island Books, Vashon, WA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. First Edition. Light shelfwear and toning to extremities. Size: 8vo - over 7 3/4" - 9 3/4" Tall. Book. Seller Inventory # 0842237
Stock Image
The Elements of Mathematical Logic
Seller: SatelliteBooks, Burlington, VT, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: New. Softcover. New. For any additional information or pictures, please inquire. Seller Inventory # 240730013
Stock Image
The Elements of Mathematical Logic
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0486446174