Gödelsche Funktionalinterpretation für eine Erweiterung der klassischen Analysis (1985)

by W Friedrich
Venue:Zeitschr. f. math. Logik und Grundl. d. Math