Propositional logic and first-order predicate logic. Natural deduction and other proof systems. Semantics. Applications to natural and artificial languages.
Credits:3
Disclaimer One University Avenue . Lowell, MA 01854 . 978-934-4000 - Contact Us
This is an OfficialPage/Publication of the University of Massachusetts Lowell
