Basic Logic by Richard L. Mendelsohn & Lewis M. Schwartz