# An Introduction to Formal Logic

- By: P.D. Magnus
- Publisher: University of Albany, State University of New York
- Source: [LibreTexts](https://human.libretexts.org/Bookshelves/Philosophy/Logic_and_Reasoning/An_Introduction_to_Formal_Logic_(Magnus))
- Licence: CC BY-SA
- Read at LibreTexts: https://human.libretexts.org/Bookshelves/Philosophy/Logic_and_Reasoning/An_Introduction_to_Formal_Logic_(Magnus)
- PDF: https://downloads.libretexts.org/api/v1/download/human-1028/pdf

This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6.