Articles liés à Classical Mathematical Logic: The Semantic Foundations...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Richard L. Epstein received his doctorate in mathematics from the University of California, Berkeley. He is the author of eleven books, including two others in the series The Semantic Foundations of Logic (Propositional Logics and Predicate Logic), Five Ways of Saying "Therefore," Critical Thinking, and, with Walter Carnielli, Computability. He is head of the Advanced Reasoning Forum in Socorro, New Mexico.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Classical Mathematical Logic: The Semantic Foundations...
Image fournie par le vendeur
Classical Mathematical Logic: The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Book House in Dinkytown, IOBA, Minneapolis, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. First Edition. Princeton University Press, 2006; First Printing with full number line. Binding is tight, sturdy, and square; very minor wear to edges of boards; text also very good+. Due to the size/weight of this book extra charges may apply for international shipping. Ships from Dinkytown in Minneapolis, Minnesota. N° de réf. du vendeur 295862
Acheter D'occasion
EUR 57,35
Expédition à EUR 5,57
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Classical Mathematical Logic: The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_444666598
Acheter D'occasion
EUR 65,40
Expédition à EUR 3,21
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Classical Mathematical Logic : The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 6490695-6
Acheter D'occasion
EUR 83,33
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Classical Mathematical Logic: The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. . . . . N° de réf. du vendeur V9780691123004
Acheter neuf
EUR 75,57
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Classical Mathematical Logic: The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Neuf
Couverture rigide
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 104627
Acheter neuf
EUR 82,04
Expédition à EUR 3,85
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Classical Mathematical Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur WP-9780691123004
Acheter neuf
EUR 82,61
Expédition à EUR 8,89
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Classical Mathematical Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur WP-9780691123004
Acheter neuf
EUR 91,69
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Classical Mathematical Logic : The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3374925
Acheter D'occasion
EUR 91,17
Expédition à EUR 2,26
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Classical Mathematical Logic : The Semantic Foundations of Logic
Edité par
Princeton University Press, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3374925-n
Acheter neuf
EUR 91,17
Expédition à EUR 2,26
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Classical Mathematical Logic
Edité par
Princeton University Press, US, 2006
ISBN 10 : 0691123004
ISBN 13 : 9780691123004
Neuf
Couverture rigide
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. 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. N° de réf. du vendeur LU-9780691123004
Acheter neuf
EUR 96,65
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles