TY  - GEN
AU  - Jean H.Gallier
TI  - Logic for Computer Science
PY  - 0000///19-?
ER  -