Sinnvoll24
-
TaschenbuchSofort lieferbarKünstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch...
-
-
BuchBesorgungstitel - wird vorgemerkt
Verantwortung: Dieser Begriff prägt derzeit viele aktuelle Debatten in Gesellschaft und Wissensch...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician th...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
Proof theory has long been established as a basic discipline of mathematical logic. It has recent...
-
-
BuchBesorgungstitel - wird vorgemerkt
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the...
-
-
BuchBesorgungstitel - wird vorgemerkt
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
-
- 1
- 2