Basic Logic 101

A Learning Lounge course.

Note: There are many confused or limited introductions to this very interesting subject. And there are many interesting developments in the subject that have been done in the past 50 years or so that change the perspective and relative importance of certain concepts, but which many books and college courses still ignore, speaking in great detail about standard first-order predicate logic and its standard set theoretic model theory, but about nothing else.

Good offline books:

Online resources that are ok:

This page is linked from: Category Theory 101   Learning Lounge