Analysis and synthesis of logics

Name: Analysis and synthesis of logics
Author: Walter A. Carnielli

Cover of Analysis and synthesis of logics

No description available.

Symbolic and mathematical LogicLogic, symbolic and mathematicalMathematicsLogicComputer scienceMathematical Logic and FoundationsMathematical Logic and Formal Languages