Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Berlín :
Springer,
1964-.
|
| Materias: |
| Notas: | En: Lecture notes in mathematics. --Berlin : Springer, 1964- . -- v. 1104 (1984). |
|---|---|
| Descripción Física: | viii, 475 páginas : ilustraciones ; 24 cm |
| Bibliografía: | Incluye bibliografias. |
| ISBN: | 354013901X |