This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedells work: First, it is possible to give a simple ...
Read More
This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedells work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraisse's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic.
Read Less
Add this copy of Mathematical Logic, 2nd Edition (Undergraduate Texts in to cart. $23.38, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1994 by Springer.
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 Mathematical Logic (Undergraduate Texts in Mathematics) to cart. $24.00, very good condition, Sold by Row by Row Bookshop rated 5.0 out of 5 stars, ships from Sugar Grove, NC, UNITED STATES, published 1984 by Springer-Verlag.
Add this copy of Mathematical Logic to cart. $24.95, very good condition, Sold by Mahler Books rated 5.0 out of 5 stars, ships from Pflugerville, TX, UNITED STATES, published 1985 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. 0387961704. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean.; Undergraduate Texts In Mathematics; 225 pages.
Add this copy of Mathematical Logic to cart. $30.00, like new condition, Sold by Midway Book Store rated 5.0 out of 5 stars, ships from Saint Paul, MN, UNITED STATES, published 1984 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. 24.5 x 16 cm. 216pp. Bound into glossy yellow boards. Undergraduate Texts in Mathematics. Junior/senior level text devoted to a study of first-order logic and its role in the foundations of mathematics.
Add this copy of Mathematical Logic to cart. $32.95, very good condition, Sold by Daedalus Books rated 4.0 out of 5 stars, ships from Portland, OR, UNITED STATES, published 1994 by Springer.
