TY  - GEN
AU  - Boolos, George.
AU  - Burgess, John P.,
AU  - Jeffrey, Richard C.
CN  - EBSCOhost
CN  - QA9.59
CY  - Cambridge ;
CY  - New York :
DA  - 2002.
ET  - 4th ed. /
ID  - 290085
KW  - Computable functions.
KW  - Recursive functions.
KW  - Logic, Symbolic and mathematical.
LK  - https://univsouthin.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=125077
PB  - Cambridge University Press,
PP  - Cambridge ;
PP  - New York :
PY  - 2002.
SN  - 0511078064 (electronic bk.)
T1  - Computability and logic
TI  - Computability and logic
UR  - https://univsouthin.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=125077
ER  -