cover image

Computability and logic / George Boolos, Richard Jeffrey.

; Jeffrey, Richard C., author
2d ed.. Cambridge [England] ; New York : Cambridge University Press, 1980.
ISBN 0521299675, 0521234794

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
QA 9.59 .B66 1980 (show me on map) Available Request
American
WRLC Shared Collections Facility
BC135 .B712 1980 Off-site
Request
UDC
Van Ness stacks
QA 9.59 .B66 1980 Available Request
Georgetown
Science stacks
QA9.59 .B66 1980 Available Request
Howard
Founders Library stacks
QA9.59 B66 1980 Available Request
Founders Library stacks
QA9.59 B66 1980 Available Request
Other Authors Jeffrey, Richard C.,
Subjects Computable functions.
Fonctions calculables.
Fonctions récursives.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Mathematische Logik.
Recursive functions.
Description x, 285 pages ; 24 cm
Copyright Date 1980.
Notes Includes bibliographical references and index.
Network Numbers (OCoLC)6487830
(OCoLC)ocm06487830
WorldCat Search OCLC WorldCat
WorldCat Identities Boolos, George.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks