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 |