Studies in Logic & Computation

1 primary work

Compiled Labelled Deductive Systems

by Krysia B. Broda, Dov M. Gabbay, Luis C. Lamb, and Alessandra Russo

Published 23 July 2004