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 ...
Read More
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.
Read Less
Add this copy of Classical Mathematical Logic: the Semantic Foundations to cart. $58.15, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2006 by Princeton University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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!
Add this copy of Classical Mathematical Logic: the Semantic Foundations to cart. $65.05, very good condition, Sold by Alibris rated 5.0 out of 5 stars, ships from NV, USA, published 2006 by Princeton University Press.
Add this copy of Classical Mathematical Logic: the Semantic Foundations to cart. $67.00, very good condition, Sold by BookHouse On-Line rated 5.0 out of 5 stars, ships from Minneapolis, MN, UNITED STATES, published 2006 by Princeton University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 9x7x1; 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.
Add this copy of Classical Mathematical Logic: The Semantic Foundations to cart. $71.17, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2006 by Princeton University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Sewn binding. Cloth over boards. 544 p. Contains: Illustrations, black & white. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
