Cargando...
Applied proof theory : proof interpretations and their use in mathematics /
| Autor Principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado: |
Berlin :
Springer,
c2008.
|
| Series: | Springer monographs in mathematics,
|
| Subjects: |