Read our cookies policy and privacy statement for more information.
×Las Vegas, Nevada•
Study of formal logic through first-order logic with identity. Soundness, completeness, compactness and other metatheorems. Other topics may include computability, modal logic, epistemic logic, many-valued logic, the logic of conditionals, higher-order logics, infinitary logics or non-monotonic logics, number theory, Gdels theorems, and the limits of logicism
Units: 3.0