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ủ đề:
classical analysis > godel function > Theory of functions
Miêu tả
Mô tả sách:
Mô tả vật lý:vi,161p.

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