Mathematical Logic
Format: Paperback
ISBN13: 9780387961705
Paperback|9780387961705
✨ Featured Offer
Used, Very Good
$29.69
List Price: $31.00
🚚
See all 3 offers from $29.69 FREE standard delivery by: 29 Mar 2026
Overview
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.
| ISBN-13 | 9780387961705 |
|---|---|
| ISBN-10 | 0387961704 |
| List Price | $31.00 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | ix, 216 pages |
| Publisher | Springer |
| Published On | 1985-07-15 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Used, Very Good
Seller details
Row by Row Bookshop
Sugar Grove, NC, USA
A Very Good copy in yellow psaper covers. Small soil spot at the foredge, else close to as new.
Free delivery by: 29 Mar 2026
Used, Very Good
Seller details
Mahler Books
Pflugerville, TX, USA
0387961704. This book is in very good condition; no remainder marks. It does have some cover shelfw...
Free delivery by: 29 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 29 Mar 2026