H. D. Ebbinghaus
Mathematical Logic
H. D. Ebbinghaus, J. Flum, Wolfgang Thomas · 2021
על הספר
"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.
פרטי הספר
- שנה
- 2021
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 3
- עמודים
- 304
- ISBN
- 9783030738389
מקור הנתונים: Wikidata