Description

This non-technical, easy-to-read introduction to symbolic logic discusses truth-functional and predicate logic in a simple and concise manner. Emphasizes indirect proof of an especially simple form, while avoiding entirely conditional proof. Proof...

Read more