cover image

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

; Jeffrey, Richard C., author
Cambridge [England] University Press [1974] .
ISBN 052120402X, 9780521204026

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
QA 248.5 .B66 Available Request
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 Berechenbarkeit.
Berekenbaarheid.
Computable functions.
Fonctions calculables -- Informatique.
Fonctions récursives -- Informatique.
Fonctions récursives.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Mathematische Logik.
Recursive functions.
Wiskundige logica.
décidabilité
fonction récursive.
logique.
machine Turing.
Description x, 262 pages illustrations 24 cm
Copyright Date [1974]
Notes Includes index.
Network Numbers (OCoLC)959952
(OCoLC)ocm00959952
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