CECS 329 Lectures
Mapping Reducibility
Logic Problems Both Easy and Hard (updated version of the lecture that is annotated starting on page 5)
Logic Problems Both Easy and Hard (Annotated Pages 1-4)
Logic Problems Both Easy and Hard