TY  - BOOK
AU  - Kilmister, C.W
TI  - Language logic and mathematics
N1  - B K76
ER  -