TY  - BOOK
AU  - "Gallier, Jean H."
TI  - Logic For Computer Scien
SN  - 0-06-042225-4
U1  - 511 
CY  - New York
ER  -