TY - BOOK AU - Nat, Arnold Vander TI - Simple formal logic with common-sense symbolic techniques SN - 9780415997454 PY - 2010/// CY - New York PB - Routledge ER -