Laddar...
Mathematical analysis and proof /
| Huvudupphovsman: | Stirling, David S. G. |
|---|---|
| Materialtyp: | Printed Book |
| Språk: | English |
| Publicerad: |
Chichester, UK :
Albion,
1997.
|
| Ämnen: |
Liknande verk
Laddar...
Proof theory: sequent calculi and related formalisms
av: Bimbo, Katalin
Publicerad: (2015)
av: Bimbo, Katalin
Publicerad: (2015)
Liknande verk
-
Proof theory
av: Takeuti, Gaisi
Publicerad: (1975) -
Understanding mathematical proof
av: Taylor, John
Publicerad: (2014) -
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Publicerad: (2008) -
Applied proof theory: Proof interpretations and their use in mathematics/
av: Kohlenbach,Ulrich
Publicerad: (2008) -
Proof analysis : a contribution to Hilbert's last problem /
av: Negri, Sara, et al.
Publicerad: (2011)