TY  - BOOK
AU  - Prager, John.
TI  - On Turing
SN  - 534583644
AV  - QA 29.T8  .P884 2001
PY  - 2001///
CY  - Belmont, CA
PB  - Wadsworth/Thomson Learning
KW  - Computer science
KW  - Mathematics
N1  - Includes bibliographical references (p. 80-83)
N2  - Treats the subject of symbolic logic as a new branch of applied mathematics giving it a physical and engineering content.Laid the theoretical foundations of computer science by formulating with precision the link Lovelace foresaw " between the operations of matter and the abstract mental processes of the most abstract branch of mathematical sciences."
ER  -