Subject/Keywords: logic

A Spiral Workbook for Discrete Mathematics
A Concise Introduction to Logic