Mathematical Logic (Graduate Texts in Mathematics)
ISBN-13:
9783030738419
ISBN-10:
3030738418
Edition:
3rd ed. 2021
Author:
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Publication date:
2022
Publisher:
Springer
Format:
Paperback
316 pages
Category:
Computer Science
,
Data Processing
,
Databases & Big Data
FREE US shipping
on ALL non-marketplace orders
Rent
35 days
Due Jun 30, 2024
35 days
from $37.26
USD
Marketplace
from $50.78
USD
Marketplace offers
Seller
Condition
Note
Seller
Condition
Used - Good
Book details
ISBN-13:
9783030738419
ISBN-10:
3030738418
Edition:
3rd ed. 2021
Author:
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Publication date:
2022
Publisher:
Springer
Format:
Paperback
316 pages
Category:
Computer Science
,
Data Processing
,
Databases & Big Data
Summary
Mathematical Logic (Graduate Texts in Mathematics) (ISBN-13: 9783030738419 and ISBN-10: 3030738418), written by authors
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, was published by Springer in 2022.
With an overall rating of 4.0 stars, it's a notable title among other
Computer Science
(Data Processing, Databases & Big Data) books. You can easily purchase or rent Mathematical Logic (Graduate Texts in Mathematics) (Paperback) from BooksRun,
along with many other new and used
Computer Science
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $1.4.
Description
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
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}