Title: Modern Formal Logic
First published: March 17, 1997