TY  - BOOK
TI  - Logic and language models for computer science
SN  - 0130654876
ER  -