MATH 3100

Introduction to Mathematical Logic

Lec A selected

First Order Logic. Validity, provability, completeness, consistency, independence, categoricity, decidability, Gödel's Theorem. Prerequisite(s): Mathematics 2000

Sections

Lecture

Lec A

Tue, Thu 15:00-16:15

Tue, Thu15:00-16:15University Hall B75610859

Syllabus

Have the syllabus for MATH 3100? Share it and everyone gets the grading, textbooks and rules.