Perspectives on proof theory
logical, computational and philosophical
Edición de la obra Perspectives on proof theory
| Autor | Eric Monteiro |
|---|---|
| Editorial | Institute of Informatics, University of Oslo |
| Fecha de publicación | 1992 |
| Lugar | Oslo |
| Idioma | inglés |
| Páginas | 220 |
| ISBN-10 | 8273680800 |
| Serie | Research report -- no. 171. · Research report (Universitetet i Oslo. Institutt for Informatikk) -- no. 171. |
| Número de Cutter | M775p |