If you don't really care about any of the details, and just want to get the textbook, CLICK HERE. Else, proceed.
This repository is for an introductory logic textbook authored by Peter Susanszky. The main aim of the textbook is to give a rigorous and precise introduction to first-order logic for students without the required background to understand the niceties of mathematical writing, and to prepare them for more advanced readings in the field. As such, it is an ideal first course for undergraduate students in philosophy, computer science, linguistics, and mathematics. The book also attempts to make use of Writing Across the Curriculum principles, putting an emphasis on written exercises that let students become acquainted with, and practice, writing proofs and presenting their own rigorous reasoning.
The textbook is written in LaTeX. The file textbook_main.tex is the top document to be compiled. Each chapter is written in a separate textbook_chN.tex file. There are two dependencies included in the folder. One is logictextbook.sty, which includes all outside package requirements and defined commands. The other is sussproofs.sty, which provides a tabular-based environment to quickly typeset linear proofs with automatic line numbering and an optional justification column.
This textbook is produced as an Open Educational Resource (OER). It is licenced under CC BY-NC-SA 4.0 DEED Attribution-NonCommercial-ShareAlike 4.0 International.
This textbook is currently being written with the help of a Writing Across the Curriculum (WAC) fellowship at City College, City University of New York.