Goal-directed proof theory
de D.M. Gabbay, N. Olivetti, Dov M. Gabbay, Nicola Olivetti
Materias
Ediciones (2)
- Goal-Directed Proof Theory (2013)
Springer · inglés · ISBN 9789401717137
- Goal-Directed Proof Theory (Applied Logic Series Volume 21) (2000)
Springer · inglés · ISBN 9780792364733
Más obras de D.M. Gabbay
