This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Mathematical Logic, Hardcover by Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang, ISBN 3030738388, ISBN-13 9783030738389, Like New Used, Free shipping in the US 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.
81.19$ Buy It Now
Item | 364884048506 |
---|---|
Seller |
greatbookprices1 ( 317743 ⭐ ) 96.4% Location: Jessup, US, Maryland Accept Payments With , |
Shipping | See shipping cost, Ships to Worldwide, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Like New |
Book Title | Mathematical Logic |
ISBN | 9783030738389 |
Subject Area | Mathematics, Computers |
Publication Name | Mathematical Logic |
Publisher | Springer International Publishing A&G |
Item Length | 9.3 in |
Subject | Computer Science, Logic, Applied |
Publication Year | 2021 |
Series | Graduate Texts in Mathematics Ser. |
Type | Textbook |
Format | Hardcover |
Language | English |
Author | Wolfgang Thomas, Heinz-Dieter Ebbinghaus, Jörg Flum |
Item Weight | 24.6 Oz |
Item Width | 6.1 in |
Number of Pages | IX, 304 Pages |
No more products to load