Computability and logic / George Boolos, Richard Jeffrey.
Material type: TextPublication details: Cambridge [Eng.] ; New York : Cambridge University Press, 1980Edition: 2d edDescription: x, 285 p. ; 24 cmISBN: 0521299675 (pbk.); 0521234794Subject(s): Computable functions | Recursive functions | Logic, Symbolic and mathematical | MathematicsDDC classification: 511.3BOO LOC classification: QA9.59 | .B66 1980Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Main Library
Main Library |
NFIC | 511.3BOO (Browse shelf (Opens below)) | 1 | Available | 6816 |
Issued with various printing dates.
Includes bibliographical references and index.
There are no comments on this title.