Species Dominance, Artilects, Artilect War, Cosmists, Terrans, Gigadeath, Essays, Media, etc

Mathematical Logic (M1)

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

Recommended Text(s) :

“Introduction to Mathematical Logic”, Elliott Mendelson, Van Nostrand 1964.

Approx price new on (hard copy) : $57

Approx price second hand on (hard copy) : $40

Availability free on (e-format) : Yes

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

Lectures and Links :


Lecture 1  (link)

Ch.1   The Propositional Calculus


Lecture 2  (link)

Ch.2   Quantification Theory


Lecture 3  (link)

Ch.3   Formal Number Theory


Lecture 4  (link)

Ch.4   Axiomatic Set Theory


Lecture 5  (link)

Ch.5   Effective Computability


Lecture 6  (link)

Appendix : A Consistency Proof for Formal Number Theory


Links to Other Lecturers on this Topic :

%d bloggers like this: