This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstr�m's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the ...
Read More
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstr�m's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.
Read Less
Add this copy of Mathematical Logic (Undergraduate Texts in Mathematics) to cart. $31.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. $31.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 (Undergraduate Texts in Mathematics) to cart. $64.78, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1985 by Springer.
