Sprache: Englisch
Verlag: Princeton University Press, 2006
ISBN 10: 0691123004 ISBN 13: 9780691123004
Anbieter: Labyrinth Books, Princeton, NJ, USA
Zustand: New.
Sprache: Englisch
Verlag: Princeton University Press, 2006
ISBN 10: 0691123004 ISBN 13: 9780691123004
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 81,72
Anzahl: 4 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Princeton University Press, 2006
ISBN 10: 0691123004 ISBN 13: 9780691123004
Anbieter: PBShop.store US, Wood Dale, IL, USA
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Princeton University Press, 2006
ISBN 10: 0691123004 ISBN 13: 9780691123004
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 92,50
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 546 Illus.
Sprache: Englisch
Verlag: Princeton University Press, 2006
ISBN 10: 0691123004 ISBN 13: 9780691123004
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. Num Pages: 544 pages, 20 line illus. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 178 x 30. Weight in Grams: 1142. . 2006. Hardcover. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Princeton University Press, 2006
ISBN 10: 0691123004 ISBN 13: 9780691123004
Anbieter: Agapea Libros, Malaga, MA, Spanien
Zustand: New. Idioma/Language: Inglés. In Classical Mathematical Logic , Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems. The book has more than 550 exercises. It can be used in advanced undergraduate or graduate courses and for self-study and reference. Classical Mathematical Logic presents a unified treatment of material that until now has been available only by consulting many different books and research articles, written with various notation systems and axiomatizations. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 140,64
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. illustrated edition. 544 pages. 10.00x7.00x1.25 inches. In Stock.