Logic Self-Taught is a workbook developed by Katarzyna Paprzycka for her students, and is designed especially for those who have problems with logic or formal sciences. Each unit includes exercises and solutions. Be sure to read the introduction before diving in!
