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, H. D.; Flum, J.; Thomas, W., ISBN 0387942580, ISBN-13 9780387942582, Brand New, Free P&P in the UK 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.
69.35$ Buy It Now
Item | 405348804738 |
---|---|
Seller |
superbookdeals1 ( 74801 ⭐ ) 95.9% Location: Castle Donington, GB Accept Payments With , |
Shipping | See shipping cost, Ships to Worldwide, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Brand New |
Book Title | Mathematical Logic |
ISBN | 9780387942582 |
No more products to load