This course is an introduction to standard material in logic, based on classical first-order logic, after which it ventures into modern treatments of some non-classical logics. Although other proof methods will be discussed, the emphasis will be on proofs using tableaus.
Topics: