Mathematical Logic. This item is unavailable.
Ebbinghaus, H. D.; Flum, J.; Thomas, W.
Language: English
Published by Springer, 1994
Series: Book 121 of 170 - Undergraduate Texts in Mathematics
- Hardcover
- New
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
AbeBooks seller since April 6, 2009
Condition: New
£ 65.06
Seller Inventory # 462047-n
- Title
- Mathematical Logic
- Author
- Ebbinghaus, H. D.; Flum, J.; Thomas, W.
- Publisher
- Springer
- Publication year
- 1994
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0387942580
- ISBN 13
- 9780387942582
- Edition
- 2nd Edition
- Series
- Book 121 of 170: Undergraduate Texts in Mathematics
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.
"Synopsis" may belong to another edition of this title.
From the Back Cover
"About the title" may belong to another edition of this title.