Applied proof theory proof interpretations and their use in mathematics

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Kohlenbach. U.
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Heidelberg Springer 2008
বিষয়গুলি:
Mathematical logic
Proof theory

UL

হোল্ডিংসের বিবরণ UL
ডাক সংখ্যা: 510.6 KOH
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ

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