TY  - BOOK
AU  - 24
TI  - Applied Logic 
ER  -