Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits
Studyguide for Introduction to Mathematical Logic by Mendelson, Elliott, ISBN 9781584888765