##### Detailseite wird geladen...

ISBN: 0486446174

ID: 5294063

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. education and reference,logic,mathematics,pure mathematics,science and math Mathematics, Dover Publications

Thriftbooks.com
used. 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 (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, eBooks Books, [PU: Dover Publications]

Doverpublications...
Great selction and best value in books and ebooks. Shipping costs:zzgl. Versandkosten., plus shipping costs
Details... |

ISBN: 0486446174

ID: 21723462969

[EAN: 9780486446172], Gebraucht, sehr guter Zustand, [PU: Dover Publications], Mathematics|Logic, 0486446174 May have publisher overstock mark on spine or light creases. No writing or discoloring marks. Please view our store policies for all shipping and condition grades, thank you.

Abebooks.de
Green Street Books, San Mateo, CA, U.S.A. [9076842] [Rating: 3 (von 5)]
NOT NEW BOOK Shipping costs: EUR 63.82 Details... |

2005, ISBN: 9780486446172

ID: 13830581803

PAPERBACK, Gebraucht, sehr guter Zustand, 0486446174 May have publisher overstock mark on spine or light creases. No writing or discoloring marks. Please view our store policies for all shipping and condition grades, thank you., [PU: Dover Publications]

Alibris.com |

2005, ISBN: 9780486446172

ID: 576299674

Dover Publications, 2005-10-12. Paperback. Used:Good., Dover Publications, 2005-10-12

Biblio.com |

Author: | |

Title: | |

ISBN: |

** 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.10.2017 19:38:34

ISBN/EAN: 0486446174

ISBN - alternate spelling:

0-486-44617-4, 978-0-486-44617-2

< to archive...

##### Related 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)