تحميل...
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)