Image from Amazon.com
Computability and Logic / George S. Boolos, John P. Burgess and Richard C. Jeffrey
Material type:
TextLanguage: English Publication details: Cambridge : New York : Cambridge University Press, c1974.Edition: 5th EdDescription: xiii, 350pISBN: - 9780521701464 (pbk.)
- 511.352Â BooC5
| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Indian Institute of Technology Tirupati General Stacks | Mathematics | 511.352 BooC5 (Browse shelf(Opens below)) | Available | 10349 |
Browsing Indian Institute of Technology Tirupati shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| 511.35 KRI/I Introduction to Formal Languages, Automata Theory and Computation / | 511.35 MAR/I Introduction to Languages and the Theory of Compputation / | 511.35 MAR/I Introduction to Languages and the Theory of Compputation / | 511.352 BooC5 Computability and Logic / | 511.381 ShiC Codes and Modular Forms : A Dictionary / | 511.386 RobC A Course in p-adic Analysis : With 27 Figures / | 511.4 AmmR Reconstruction of Small Inhomogeneities from Boundary Measurements / |
There are no comments on this title.
Log in to your account to post a comment.