H. D. Ebbinghaus
Mathematical Logic
H. D. Ebbinghaus, J. Flum, Wolfgang Thomas · 2021
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonAbout the book
"This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science."--Publisher's description.
Book details
- Year
- 2021
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 3
- Pages
- 304
- ISBN
- 9783030738389
Data source: Wikidata