TY - BOOK AU - ROY, PRANAB KUMAR TI - LOGIC , INDUCTION AND ONTOLOGY PB - MACMILLAN KW - LOGIC ER -