Students taking this course should already have taken a year-long introductory course in logic in a Philosophy Department, or a mathematical course that covers the basics of set theory and logic. If ...

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other ... Volume 1 includes formal proof techniques, a ...