Mathematical Logic
| Author | : H.-D. Ebbinghaus |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 290 |
| Release | : 2013-03-14 |
| ISBN-10 | : 9781475723557 |
| ISBN-13 | : 1475723555 |
| Rating | : 4/5 (555 Downloads) |
Book Synopsis Mathematical Logic by : H.-D. Ebbinghaus
Download or read book Mathematical Logic written by H.-D. Ebbinghaus and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.