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

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

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics...

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

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

¿Proof theory came into being in the twenties of the last century, when it was inaugurated by Dav...

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

The contributions are addressed to mathematical and philosophical logicians, but also to philosop...

The contributions are addressed to mathematical and philosophical logicians, but also to philosop...

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