Proof Theory and Intuitionistic Systems
Edición de la obra Proof theory and intuitionistic systems
| Autor | Bruno Scarpellini |
|---|---|
| ISBN-13 | 9780387055411 |
| Número de Cutter | S286p |
Edición de la obra Proof theory and intuitionistic systems
| Autor | Bruno Scarpellini |
|---|---|
| ISBN-13 | 9780387055411 |
| Número de Cutter | S286p |