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...
Gerhard Gentzen has been described as logic's lost genius, whom Godel called a better logician th...
Unser bisheriger Preis:ORGPRICE: 149,79 €
The aim of this volume is to collect original contributions by the best specialists from the area...
Unser bisheriger Preis:ORGPRICE: 112,48 €
Proof theory has long been established as a basic discipline of mathematical logic. It has recent...
Unser bisheriger Preis:ORGPRICE: 56,00 €
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, w...
Unser bisheriger Preis:ORGPRICE: 111,67 €
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...
Unser bisheriger Preis:ORGPRICE: 81,25 €
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics...
Unser bisheriger Preis:ORGPRICE: 50,47 €
This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the...
Unser bisheriger Preis:ORGPRICE: 137,15 €
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch...
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert...
Unser bisheriger Preis:ORGPRICE: 111,67 €