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...

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

Item364884048506Ebay Right Now
Seller greatbookprices1 ( 317743 ⭐ ) 96.4%
Location: Jessup, US, Maryland
Accept Payments With ,
ShippingSee shipping cost, Ships to Worldwide, ...
GuaranteeeBay Money Back Guarantee
ConditionLike New
Book TitleMathematical Logic
ISBN9783030738389
Subject AreaMathematics, Computers
Publication NameMathematical Logic
PublisherSpringer International Publishing A&G
Item Length9.3 in
SubjectComputer Science, Logic, Applied
Publication Year2021
SeriesGraduate Texts in Mathematics Ser.
TypeTextbook
FormatHardcover
LanguageEnglish
AuthorWolfgang Thomas, Heinz-Dieter Ebbinghaus, Jörg Flum
Item Weight24.6 Oz
Item Width6.1 in
Number of PagesIX, 304 Pages

People who viewed this item also viewed

Explore more options

No more products to load