2 treff

Luckhardt Horst
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Horst Luckhardt
Bok Språk ikke angitt 1973
K.H. Hödicke : achtzehn Bronzen
Hödicke, K.H. (utstilling)
Bok Tysk 1987