A carregar...
Applied proof theory : proof interpretations and their use in mathematics /
| Autor principal: | Kohlenbach, U. |
|---|---|
| Formato: | Printed Book |
| Publicado em: |
Berlin :
Springer,
c2008.
|
| Colecção: | Springer monographs in mathematics,
|
| Assuntos: |
Registos relacionados
-
Applied proof theory: Proof interpretations and their use in mathematics/
Por: Kohlenbach,Ulrich
Publicado em: (2008) -
Applied proof theory proof interpretations and their use in mathematics
Por: Kohlenbach. U.
Publicado em: (2008) -
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Publicado em: (2008) -
Proof theory: First step into impradictivity.
Por: Pohlers, Wolfram
Publicado em: (2009) -
Proof theory
Por: Takeuti, Gaisi
Publicado em: (1975)