A model-theoretic approach to proof theory /
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Switzerland :
Springer,
c2019.
|
| Colección: | Trends in logic
Volume 51 |
| Materias: | |
| Acceso en línea: | Ver documento en línea |
| Descripción Física: | 1 recurso en línea (xviii, 109 páginas) : 1 ilustración a color, fotografías en blanco y negro, archivo de texto, PDF. También disponible en formato EPUB |
|---|---|
| ISBN: | 9783030289218 9783030289201 |
| Acceso: | Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional |