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...

Verantwortung: Dieser Begriff prägt derzeit viele aktuelle Debatten in Gesellschaft und Wissensch...

Proof theory has long been established as a basic discipline of mathematical logic. It has recent...

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the...

Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician th...

The aim of this volume is to collect original contributions by the best specialists from the area...

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, w...

The aim of this volume is to collect original contributions by the best specialists from the area...

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert...

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert...

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the...