Labelled non-classical logics

Name: Labelled non-classical logics
Author: Luca Viganò, Luca Viganò, Luca Vigano

by Luca Viganò, Luca Viganò, Luca Vigano · 2000

No description available.

Nonclassical mathematical logicComputer ProgrammingMathematical logicMathematical theory of computationMathematical And Symbolic LogicPhilosophy Of MathematicsMathematicsComputer Books: Operating SystemsArtificial Intelligence - GeneralLogicComputers-Artificial Intelligence - GeneralMathematics / Logic