MATHEMATICAL LOGIC (M1, Barnes)

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

Recommended Text(s) :

“An Algebraic Introduction to Mathematical Logic”, Graduate Texts in Mathematics (GTM) No. 22, Donald W. Barnes & John M. Mack, Springer, 1975.

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

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

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

eMule search key word(s) : Barnes, Algebraic Introduction

Lectures and Links :

—–

Lecture 1  (link)

Ch.1   Universal Algebra

—–

Lecture 2  (link)

Ch.2   Propositional Calculus

—–

Lecture 3  (link)

Ch.3   Properties of the Propositional Calculus

—–

Lecture 4 (link)

Ch.4   Predicate Calculus

—–

Lecture 5  (link)

Ch.5   First-Order Mathematics

—–

Lecture 6  (link)

Ch.6   Zermelo-Fraenkel Set Theory

—–

Lecture 7  (link)

Ch.7   Untraproducts

—–

Lecture 8  (link)

Ch.8   Non-Standard Models

—–

Lecture 9  (link)

Ch.9   Turing Machines and Godel Numbers

—–

Lecture 10  (link)

Ch.10   Hilbert’s Tenth Problem, Word Problems

—–