ロード中...
Mathematical analysis and proof /
| 第一著者: | Stirling, David S. G. |
|---|---|
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
Chichester, UK :
Albion,
1997.
|
| 主題: |
類似資料
-
Proof theory
著者:: Takeuti, Gaisi
出版事項: (1975) -
Understanding mathematical proof
著者:: Taylor, John
出版事項: (2014) -
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
出版事項: (2008) -
Applied proof theory: Proof interpretations and their use in mathematics/
著者:: Kohlenbach,Ulrich
出版事項: (2008) -
Proof analysis : a contribution to Hilbert's last problem /
著者:: Negri, Sara, 等
出版事項: (2011)