Paul Weingartner
in German
X
Ein Kalkül für die Begriffe "beweisbar" und "entscheidbar"
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
in German
XEin Kalkül für die Begriffe "beweisbar" und "entscheidbar"
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder