TY  - BOOK
AU  - Barwise, Jon
TI  - Turing's world 3.0 for the Macintosh: studies in class formation and action
SN  - 1881526100
AV  - QA 76 Bar 
PY  - 1993///
CY  - Stanford, Cal.
PB  - CSLI Publications
KW  - TURING MACHINES
KW  - LOGIC, SYMBOLICAL AND MATHEMATICAL
KW  - COMPUTERS
KW  - COMPUTER SCIENCE
ER  -