PHIL312 Advanced Formal Logic

Advanced applications of first-order logic. The logical structure of theories, including
formal number theory. Proof of the completeness of first-order logic (everything
provable in it is valid and everything valid in it is provable).