TY  - BOOK
AU  - Ramsay, Allan
TI  - Formal in artificial intelligence: 
SN  - 0-521-35236-3
PY  - 1988///
CY  - Cambridge: 
PB  - Cambridge university Press, 
KW  - Artificial intelligence
KW  - computer
KW  - Mathematical
ER  -