Proof theory and intuitionistic systems
Edición de la obra Proof theory and intuitionistic systems
| Autor | Bruno Scarpellini |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1971 |
| Lugar | Berlin, New York |
| Páginas | 290 |
| Serie | Lecture notes in mathematics -- no.212. |
| Número de Cutter | S286p |