Title: Introductory symbolic logic
First published: 1997
LC classification: MLCS 2006/15926 (B)