Mathematical Logic, 3rd Edition
- Length: 313 pages
- Edition: 3
- Language: English
- Publisher: Springer
- Publication Date: 2021-05-29
- ISBN-10: 3030738388
- ISBN-13: 9783030738389
- Sales Rank: #0 (See Top 100 Books)
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.
Donate to keep this site alive
To access the Link, solve the captcha.
1. Disable the AdBlock plugin. Otherwise, you may not get any links.
2. Solve the CAPTCHA.
3. Click download link.
4. Lead to download server to download.