TY - BOOK AU - Tomassi, Paul TI - Logic SN - 0-415-16696-9 U1 - 160/TOM/L KW - Logic KW - Logical Thinking|Arguing Logically|Formal Logic & Formal Semantics|First Order Predicate Logic N1 - 2291; Logic ER -