TY  - BOOK
TI  - Logic Deductive and Inductive
ER  -