TY - BOOK AU - "Martin,Norman M" TI - Systems of Logic PY - 1989/// PB - "Cambridge,New York" KW - General N1 - YES ER -