Logic Logic Spring Semester 2000 Elective for Math and CS 3-rd year, MSc and Phd. The course is in an introduction to mathematical logic.
Mathematical logic is a modern branch of mathematics.
Its main concern is the properties of the predicate calculus. This is one of the questions addressed in the course. Syllabus Propositional calculus. Completeness of propositional calculus. Applications of propositional calculus.