TY  - BOOK
AU  - 36
TI  - LOGIC TECHNIQUES FORMAL REASONING
SN  - 0155511815
ER  -