The University of Western Australia: Greg Gamble's "Set Theory, Logic, and Boolean Algebra"

Read this lecture.