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

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

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

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

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

The Concept of Artificial Intelligence.- Practical limits.- Theoretical limits.- Conceptual bound...

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

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd ...

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

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

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