Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
Record:
Author
Boolos, George.
Title
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Publication Info
Cambridge ; New York : Cambridge University Press, 2007.
Edition
5th ed.
Location/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
511.352 BOO
4 WEEK LOAN
AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
350p.
Edition
5th ed.
ISBN
0521877520 (hbk.)
9780521877527 (hbk.)
0521701465 (pbk.)
9780521701464 (pbk.)
Click on the terms below to find similar items in the catalogue
Author
Boolos, George.
Subject
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Alt author
Burgess, John P., 1948-
Jeffrey, Richard C., 1926-
Descript
350p.
Edition
5th ed.
ISBN
0521877520 (hbk.)
9780521877527 (hbk.)
0521701465 (pbk.)
9780521701464 (pbk.)
Author
Boolos, George.
Subject
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Alt author
Burgess, John P., 1948-
Jeffrey, Richard C., 1926-
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
511.352 BOO
4 WEEK LOAN
AVAILABLE
Subject
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Descript
350p.
Alt author
Burgess, John P., 1948-
Jeffrey, Richard C., 1926-
ISBN
0521877520 (hbk.)
9780521877527 (hbk.)
0521701465 (pbk.)
9780521701464 (pbk.)
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar