Internalizing labelled deduction (2000)

by P Blackburn
Venue:J. Log. Comput