TY  - DATA
AU  - George S. Boolos-John P. Burgess-Richard C. Jeffrey
TI  - Computability and Logic
SN  - 9780521877527
PB  - Cambridge University Press
KW  -  Machine Theory
KW  - Computable functions.,Logic, Symbolic and mathematical.,Recursive functions
KW  - COMPUTERS
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=304603
ER  -