A carregar...
Applied proof theory : proof interpretations and their use in mathematics /
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado em: |
Berlin :
Springer,
c2008.
|
| Colecção: | Springer monographs in mathematics,
|
| Assuntos: |