TY  - BOOK
AU  - 25
TI  - PREDICATE LOGIC 
SN  - 9780131649897
U1  - 159.9 POS 
ER  -