Lanean...
Mathematical analysis and proof /
| Egile nagusia: | Stirling, David S. G. |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Chichester, UK :
Albion,
1997.
|
| Gaiak: |
Antzeko izenburuak
-
Proof theory
nork: Takeuti, Gaisi
Argitaratua: (1975) -
Understanding mathematical proof
nork: Taylor, John
Argitaratua: (2014) -
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Argitaratua: (2008) -
Applied proof theory: Proof interpretations and their use in mathematics/
nork: Kohlenbach,Ulrich
Argitaratua: (2008) -
Proof analysis : a contribution to Hilbert's last problem /
nork: Negri, Sara, et al.
Argitaratua: (2011)