Labelled deduction
by David Basin, Various
No description available.
Modality (Logic)Mathematical And Symbolic LogicPhilosophy Of MathematicsPhilosophyMathematicsArtificial Intelligence - GeneralLogicComputers : Artificial Intelligence - GeneralMathematics / LogicPhilosophy / LogicComputers