Applied proof theory : proof interpretations and their use in mathematics /

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Kohlenbach, U.
বিন্যাস: Printed Book
প্রকাশিত: Berlin : Springer, c2008.
মালা:Springer monographs in mathematics,
বিষয়গুলি:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

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