Record:   Prev Next
Author Boolos, George
Title Computability and logic / George Boolos, Richard Jeffrey
Imprint Cambridge [Eng.] ; New York : Cambridge University Press, 1980
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9.59 B66 1980    AVAILABLE    30340200174666
Edition 2d ed
Descript x, 285 p. ; 24 cm
Note Includes bibliographical references and index
Subject Computable functions
Recursive functions
Logic, Symbolic and mathematical
Alt Author Jeffrey, Richard C., joint author
Record:   Prev Next