Mathematical Logic (Undergraduate Texts in Mathematics)
ISBN-13:
9780387961705
ISBN-10:
0387961704
Edition:
1st edition 1984. 2nd printing 1985
Author:
H.-D. Ebbinghaus, J. Flum, W. Thomas
Publication date:
1985
Publisher:
Springer
Format:
Paperback
225 pages
Category:
Pure Mathematics
,
Mathematics
FREE US shipping
Book details
ISBN-13:
9780387961705
ISBN-10:
0387961704
Edition:
1st edition 1984. 2nd printing 1985
Author:
H.-D. Ebbinghaus, J. Flum, W. Thomas
Publication date:
1985
Publisher:
Springer
Format:
Paperback
225 pages
Category:
Pure Mathematics
,
Mathematics
Summary
Mathematical Logic (Undergraduate Texts in Mathematics) (ISBN-13: 9780387961705 and ISBN-10: 0387961704), written by authors
H.-D. Ebbinghaus, J. Flum, W. Thomas, was published by Springer in 1985.
With an overall rating of 4.0 stars, it's a notable title among other
Pure Mathematics
(Mathematics) books. You can easily purchase or rent Mathematical Logic (Undergraduate Texts in Mathematics) (Paperback) from BooksRun,
along with many other new and used
Pure Mathematics
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.08.
Description
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.
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}