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 |
Internet
Ver documento en líneaSistema de Bibliotecas de Universidad de Costa Rica
| Número de Clasificación: |
511.36 |
|---|---|
| Copia | Disponible |