TY  - BOOK
AU  - Thomas Stephen N.
TI  - Formal machines of mind
T2  - Practical reasoning in natural language
U1  - R3(S:45), L8 
PY  - 1978///
CY  - Hassocks
PB  - Harvester Press      
KW  - PHILOSOPHY
ER  -