Labelled non-classical logics
Labelled non-classical logics2000
Details
- First published
- 2000
- ISBN-13
- 9781475732085
- OL Work ID
- OL13185105W
Subjects
Nonclassical mathematical logicComputer ProgrammingMathematical logicMathematical theory of computationMathematical And Symbolic LogicPhilosophy Of MathematicsMathematicsComputer Books: Operating SystemsArtificial Intelligence - GeneralLogicComputers-Artificial Intelligence - GeneralMathematics / LogicPhilosophy / LogicPhilosophy-LogicMathematics, philosophy