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