TY - BOOK AU - Jeffrey,Richard TI - Formal logic: its scope and limits SN - 0071003959 U1 - 160 J46F 1989 PY - 1989/// CY - Singapore PB - McGraw-Hill KW - Logic KW - First-order logic ER -