Title: Introductory symbolic logic without formal proofs
First published: 1991