A thorough exploration of the theory and methods of modern formal logic. Possible topics include propositional logic, fuzzy logic, modal logic and first-order logic [3 credits]
A thorough exploration of the theory and methods of modern formal logic. Possible topics include propositional logic, fuzzy logic, modal logic and first-order logic [3 credits]
