2005, ISBN: 0486446174
[SR: 548160], Paperback, [EAN: 9780486446172], Dover Publications, Dover Publications, Book, [PU: Dover Publications], 2005-10-12, Dover Publications, 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., 21, Reference, 11444, Almanacs & Yearbooks, 11448, Atlases & Maps, 2572, Careers, 11626, Catalogs & Directories, 11472, Consumer Guides, 11475, Dictionaries & Thesauruses, 11713, Encyclopedias & Subject Guides, 11823, English as a Second Language, 11761, Etiquette, 11773, Foreign Language Study & Reference, 11880, Genealogy, 11902, Quotations, 8975382011, Survival & Emergency Preparedness, 5267710011, Test Preparation, 11970, Words, Language & Grammar, 5267707011, Writing, Research & Publishing Guides, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books
Amazon.com |
2005, ISBN: 0486446174
[SR: 548160], Paperback, [EAN: 9780486446172], Dover Publications, Dover Publications, Book, [PU: Dover Publications], 2005-10-12, Dover Publications, 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., 21, Reference, 11444, Almanacs & Yearbooks, 11448, Atlases & Maps, 2572, Careers, 11626, Catalogs & Directories, 11472, Consumer Guides, 11475, Dictionaries & Thesauruses, 11713, Encyclopedias & Subject Guides, 11823, English as a Second Language, 11761, Etiquette, 11773, Foreign Language Study & Reference, 11880, Genealogy, 11902, Quotations, 8975382011, Survival & Emergency Preparedness, 5267710011, Test Preparation, 11970, Words, Language & Grammar, 5267707011, Writing, Research & Publishing Guides, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books
Amazon.com |
ISBN: 9780486446172
ID: 9780486446172
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 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. Books, Mathematics~~General, The-Elements-of-Mathematical-Logic~~Paul-C-Rosenbloom, 999999999, The Elements of Mathematical Logic, Paul C. Rosenbloom, 0486446174, Dover Publications, , , , , Dover Publications
Barnesandnoble.com
MPN: , SKU 9780486446172 Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |
ISBN: 9780486446172
ID: 9780486446172
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 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. Books, Mathematics~~General, The-Elements-of-Mathematical-Logic~~Paul-C-Rosenbloom, , , , , , , , , , Dover Publications
Barnesandnoble.com
MPN: , SKU 9780486446172 Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |
Lehmanns.de
Shipping costs:Versand in 10-15 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details... |
Author: | |
Title: | The Elements of Mathematical Logic |
ISBN: | 9780486446172 |
Details of the book - The Elements of Mathematical Logic
EAN (ISBN-13): 9780486446172
ISBN (ISBN-10): 0486446174
Paperback
Publishing year: 2005
Publisher: DOVER PUBN INC
214 Pages
Weight: 0,249 kg
Language: eng/Englisch
Book in our database since 24.06.2007 23:36:02
Book found last time on 11.11.2015 16:23:57
ISBN/EAN: 9780486446172
ISBN - alternate spelling:
0-486-44617-4, 978-0-486-44617-2
< to archive...
Nearby books
- "Higher Transcendental Functions Volume 3", from "Arthur Erdelyi" (0486446166)
- "Lectures in Projective Geometry", from "Seidenberg, Abraham" (9780486446189)
- "Higher Transcendental Functions Volume 2", from "Arthur Erdelyi" (0486446158)
- "Chinese Mathematics in the Thirteenth Century: The Shu-Shu Chiu-Chang of Ch'in Chiu-Shao", from "Libbrecht, Ulrich" (9780486446196)
- "Higher Transcendental Functions Volume 1", from "Arthur Erdelyi" (048644614X)
- "Harmonic Analysis and the Theory of Probability", from "Bochner, Salomon" (9780486446202)