TY - BOOK AU - Martin, Norman M AU - TI - System of Logic SN - ISBN U1 - 164.042 PY - 1989/// CY - Cambridge PB - Cambridge University Press KW - LOGIC-SYMBOLIC AND MATHEMATICAL ER -