Luckhardt, Horst
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Extensional Godel Functional Interpretation. 1973 |
コード類 | 典拠ID=AU20072162 NCID=DA07576670 |
1 | Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt : u.s.,: gw. - Berlin : Springer-Verlag , 1973 |