Labelled deduction

Labelled deduction
Details
- ISBN-13
- 9789401140409
- OL Work ID
- OL18444146W
Subjects
Modality (Logic)Mathematical And Symbolic LogicPhilosophy Of MathematicsPhilosophyMathematicsArtificial Intelligence - GeneralLogicComputers : Artificial Intelligence - GeneralMathematics / LogicPhilosophy / LogicComputers