profhugodegaris

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 Amazon.com (hard copy) : $57

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

Availability free on eMule.com (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: