TY  - BOOK
AU  - Martin,Norman M..
AU  - Das,Sisir Kumar  .
TI  - Systems of logic / 
SN  - 0521367700
U1  - 160 
PY  - 1989///
CY  - Cambridge : 
PB  - Oxford University Press , 
KW  - LOGIC
N1  - Includes bibliographical references and index
ER  -