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

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Luckhardt, Horst
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Berlin Springer-Verlag 1973
বিষয়গুলি:
classical analysis > godel function > Theory of functions
বিবরন
উপাদানের বিবরণ:
দৈহিক বর্ননা:vi,161p.

অনুরূপ উপাদানগুলি