Compiled labelled deductive systems
de Dov M. Gabbay, Luis C. Lamb, Alessandra Russo
Materias
Ediciones (1)
- Compiled Labelled Deductive Systems (2004)
Institute of Physics Publishing · inglés · ISBN 9780863802966
de Dov M. Gabbay, Luis C. Lamb, Alessandra Russo
Institute of Physics Publishing · inglés · ISBN 9780863802966
