The aim of this volume is to collect original contributions by the best specialists from the...
Gerhard Gentzen has been described as logics lost genius, whom Gödel called a better logician ...
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch...
Paul Bernays (1888-1977) gehörte einer bekannten deutsch-jüdischen Familie an, die auf den Hambur...
Proof theory has long been established as a basic discipline of mathematical logic. It has recent...
Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician th...
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the...