লোডিং...
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
| অন্যান্য লেখক: | Kohlenbach,, Ulrich |
|---|---|
| বিন্যাস: | Printed Book |
| ভাষা: | English |
| প্রকাশিত: |
Berlin:
Springer,
2008.
|
| সংস্করন: | 1 |
| মালা: | Springer Monographs in Mathematics
|
| বিষয়গুলি: |
অনুরূপ উপাদানগুলি
-
Applied proof theory: Proof interpretations and their use in mathematics/
অনুযায়ী: Kohlenbach,Ulrich
প্রকাশিত: (2008) -
Applied proof theory proof interpretations and their use in mathematics
অনুযায়ী: Kohlenbach. U.
প্রকাশিত: (2008) -
Understanding mathematical proof
অনুযায়ী: Taylor, John
প্রকাশিত: (2014) -
Mathematical analysis and proof /
অনুযায়ী: Stirling, David S. G.
প্রকাশিত: (1997) -
Proof theory
অনুযায়ী: Takeuti, Gaisi
প্রকাশিত: (1975)