Applied Proof Theory: Proof Interpretations and their use in Mathematics /

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
অন্যান্য লেখক: Kohlenbach,, Ulrich
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Berlin: Springer, 2008.
সংস্করন:1
মালা:Springer Monographs in Mathematics
বিষয়গুলি:
Mathematics- Proof theory
বিবরন
প্রকাশিত:2008.
দৈহিক বর্ননা:534.
আইসবিএন:978-3-540-77532-4

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