Chapter 5, Natural Deduction for Predicate Logic: Fundamentals
2ch5.pdf
—
PDF document,
327 KB (335618 bytes)