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 |
| Idioma | inglés |
| Páginas | 290 |
| ISBN-10 | 354005541X |
| OCLC | 163941 |
| LCCN | 78169705 |
| Serie | Lecture notes in mathematics, 212 · Lecture notes in mathematics (Springer-Verlag) ; · 212. |
| Número de Cutter | S286p |