লোডিং...
Proof theory
| প্রধান লেখক: | Takeuti, Gaisi |
|---|---|
| বিন্যাস: | Printed Book |
| ভাষা: | English |
| প্রকাশিত: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
| বিষয়গুলি: |
অনুরূপ উপাদানগুলি
-
Mathematical analysis and proof /
অনুযায়ী: Stirling, David S. G.
প্রকাশিত: (1997) -
Proof theory: First step into impradictivity.
অনুযায়ী: Pohlers, Wolfram
প্রকাশিত: (2009) -
Proof analysis : a contribution to Hilbert's last problem /
অনুযায়ী: Negri, Sara, অন্যান্য
প্রকাশিত: (2011) -
Applied proof theory: Proof interpretations and their use in mathematics/
অনুযায়ী: Kohlenbach,Ulrich
প্রকাশিত: (2008) -
Proof theory: sequent calculi and related formalisms
অনুযায়ী: Bimbo, Katalin
প্রকাশিত: (2015)