| Books 1 - 5 of 5 | Previous | Next | 
|  | | Labelled Deduction (Applied Logic)
by David Basin (Editor), Marcello D'Agostino (Editor), Dov M. Gabbay (Editor), Sean Matthews (Editor), Luca Vigano (Editor)
Hardcover, 280 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Labelled Non-classical Logics
by Luca Vigano
Hardcover, 308 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Labelled Propositional Modal Logics: Theory and Practice (Forschungsbericht / Max-Planck-Institut für Informatik)
by David A. Basin, Sean Matthews, Luca Viganò
Unknown Binding, 46 Pages, Published 1996 by Max-Planck-Institut für Informatik
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Natural Deduction for Non-Classical Logics (Research report / Max Planck Institut für Informatik)
by David A. Basin, Sean Matthews, Luca Viganò
Paperback, 44 Pages, Published 1996 by Max-Planck-Institut für Informatik
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Labelled Modal Logics: Quantifiers (MPI-I-97-2-001)
by David A. Basin, Sean Matthews, Luca Viganò
Paperback, 30 Pages, Published 1997 by Max-Planck-Institut für Informatik
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 5 of 5 | Previous | Next |
|