Return to Article Details
A meta-logic of inference rules: Syntax
Download
Download PDF