An introduction to natural deduction for sentential logic. We discuss the notion of derivation as well as a few basic inference rules.
No download links available.
