Analysis and synthesis of logicsde Walter A. CarnielliMateriasSymbolic and mathematical LogicLogic, symbolic and mathematicalMathematicsLogicComputer scienceMathematical Logic and FoundationsMathematical Logic and Formal LanguagesEdiciones (1)Analysis and synthesis of logics (2008)Springer · inglés · ISBN 9781402067815Más obras de Walter A. CarnielliComputabilityModel-based reasoning in science and technologyModalità e multimodalità
MMulti-valued Logics (Journal of Applied Non-classical LogicsMulti-valued Logics (Journal of Applied Non-classical Logics)
