cover image

Computability and logic [by] George Boolos [and] Richard Jeffrey.

; Jeffrey, Richard C
Cambridge [Eng.] University Press [1974] .
ISBN 052120402X

Location Call Number Status Consortium Loan
American
WRLC Shared Collections Facility
BC135 .B712 Off-site
Request
Catholic
WRLC Shared Collections Facility
QA248.5.B72 C7 Off-site
Request
UDC
Van Ness stacks
QA248.5 .B66 Available Request
Georgetown
Off-Campus Shelving
QA248.5 .B66 Available Request
Howard
Founders Library stacks
QA9.59 .B66 1974 Available Request
Other Authors Jeffrey, Richard C.
Subjects Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.
Description x, 262 p. illus. 24 cm.
Network Numbers (OCoLC)00959952
(OCoLC)959952
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks