Mathematical Logic

This course provides students with a systematic introduction to the foundational principles of Mathematical Logic. Students will engage in the formalization of deductive reasoning through the study of symbolic languages, with particular emphasis on Propositional and Predicate Calculus. A core component of the work will involve the construction and critical analysis of formal proofs.