Internalizing Labelled Deduction (2000)

Cached

Download Links

by Patrick Blackburn
Venue:Journal of Logic and Computation
Citations:74 - 20 self

Document Versions

Internalizing Labelled Deduction –Patrick Blackburn — 2000 — Journal of Logic and Computation