Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Edición de la obra Goal-directed proof theory
| Autor | D.M. Gabbay, N. Olivetti, Dov M. Gabbay, Nicola Olivetti |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 31, 2000 |
| Idioma | inglés |
| Páginas | 276 |
| Formato | Hardcover |
| ISBN-13 | 9780792364733 |
| ISBN-10 | 0792364732 |
| OCLC |