TY  - BOOK
TI  - Logic Pt.II Inductive
ER  -