Goal-Directed Proof Theory
Edición de la obra Goal-directed proof theory
| Autor | Dov M. Gabbay, N. Olivetti |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9789401717137 |
| Número de Cutter | G112g |
Edición de la obra Goal-directed proof theory
| Autor | Dov M. Gabbay, N. Olivetti |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9789401717137 |
| Número de Cutter | G112g |