MATHEMATICAL LOGIC (M2)

Lecture Topic : (Pure Math) MATHEMATICAL LOGIC (M2)

Prerequisites : Mathematical Logic (M1);

Recommended Text(s) :

“Mathematical Logic”, J. Donald Monk, Graduate Texts in Mathematics 37, Springer, 1976.

Approx price new on Amazon.com (hard copy) : $60

Approx price second hand on Amazon.com (hard copy) : $44

Availability free on eMule.com (e-format) : Yes

eMule search key word(s) : Mathematical Logic, Monk

Lectures and Links :

—–

Lecture 1  (link)

Ch.1   Recursive Function Theory

—–

Lecture 2  (link)

Ch.2   Elements of Logic

—–

Lecture 3  (link)

Ch.3   Decidable and Undecidable Theories

—–

Lecture 4  (link)

Ch.4   Model Theory

—–

Lecture 5  (link)

Ch.5   Unusual Logics

—–

Links to Other Lecturers on this Topic :