TY - BOOK AU - Martin, Norman M. TI - Systems of logic SN - 0521367700 U1 - 160 PY - 1989/// CY - Cambridge PB - Cambridge University Press ER -