Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis
Horst LuckhardtКатегорії:
Рік:
1973
Видавництво:
Springer
Мова:
english
Сторінки:
166
ISBN 10:
0387061193
ISBN 13:
9780387061191
Серії:
Recent Results in Cancer Research
Файл:
DJVU, 1.01 MB
IPFS:
,
english, 1973