Intensionality

Intensionality

Advances in Proof Theory

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

Gentzen’s Centenary

Gerhard Gentzen has been described as logics lost genius, whom Gödel called a better logician ...

Grenzen der KI - theoretisch, praktisch, ethisch

Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch...

Paul Bernays

Paul Bernays (1888-1977) gehörte einer bekannten deutsch-jüdischen Familie an, die auf den Hambur...

Proof Theory in Computer Science

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

Advances in Proof Theory

Gentzen’s Centenary

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

Advances in Proof Theory

The Legacy of Kurt Schütte

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

Axiomatic Thinking II