Tableau systems for first order number theory and certain higher order theories : Sue Toledo.
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Berlín :
Springer,
1964-.
|
| Materias: |
| Notas: | En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 447. |
|---|---|
| Descripción Física: | 339 páginas. |