Internalizing Labelled Deduction (2000)

by Patrick Blackburn
Venue:Journal of Logic and Computation