Computability and logic / George S. Boolos, Richard C. Jeffrey.
Material type:
TextPublication details: Cambridge : Cambridge University Press, 1989.Edition: 3rd edDescription: x, 304 p. ; 23 cmISBN: - 0521389232 (pbk.)
Ordinary Loan Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Ordinary Loan Books
|
Main Library | NFIC | QA9.59 BOO (Browse shelf(Opens below)) | Available | 92003007060 |
Browsing Main Library shelves,Shelving location: General Stacks,Collection: Non-fiction Close shelf browser (Hides shelf browser)
| QA9.58 WET Instructor's guide : the algorithmic process : an introduction to problem solving / | QA9.58 WET Instructor's guide : the algorithmic process : an introduction to problem solving / | QA9.59 BOO Computability and logic / | QA9.59 BOO Computability and logic / | QA9.59 BOO Computability and logic / | QA9.59 BOO Computability and logic / | QA9.59 CUT Computability : an introduction to recursive function theory / |
Includes bibliographical references.
Includes index.
There are no comments on this title.
Log in to your account to post a comment.