TY  - BOOK
TI  - Logical syntax of language
U1  - P:3 
KW  - P:3
ER  -