🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
The Quest for Consistency
Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading ...
...
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, G...
II
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundati...
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. ...