Đang tải...

Extensional Godel functional intepretation: A consistency of proof of classical analysis

Chi tiết về thư mục
Tác giả chính: Luckhardt, Horst
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Berlin Springer-Verlag 1973
Những chủ đề:

Những quyển sách tương tự