Elements of deductive inference an introduction to symbolic logic - Bessie, Joseph (Wadsworth Publishing, 2000)