Description: Einführung in Die Mathematische Logik, Paperback by Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang, ISBN 3030738418, ISBN-13 9783030738419, Brand New, 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.
Price: 59.45 USD
Location: Jessup, Maryland
End Time: 2025-01-31T09:13:53.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Einführung in Die Mathematische Logik
Author: Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
Language: english
