An introductory course in symbolic logic, designed for classroom use or self-study.
An introductory course in symbolic logic, designed for classroom use or self-study.