Compiled Labelled Deductive Systems
A Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation)
Edición de la obra Compiled labelled deductive systems
| Autor | Dov M. Gabbay, Luis C. Lamb, Alessandra Russo |
|---|---|
| Editorial | Institute of Physics Publishing, Research Studies Press, Institute of Physics Pub., Distribution in North America, AIDC |
| Fecha de publicación | November 30, 2004 |
| Idioma | inglés |
| Páginas | 343 |
| Formato | Hardcover |
| ISBN-13 | 9780863802966 |
| ISBN-10 | 0863802966 |