Computability theory / Rebecca Weber.
By: Weber, Rebecca.
Material type:
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 511.352 WEB (Browse shelf) | Available | 9822 |
Total holds: 0
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.352 MOO The nature of computation / | 511.352 MOS Elementary induction on abstract structures / | 511.352 STU Understanding Computation | 511.352 WEB Computability theory / | 511.36 BIM Proof theory : sequent calculi and related formalisms / | 511.4 CHE A course in approximation theory / | 511.4 NIK Rational approximations and orthogonality / |
Gifted by NBHM.
Includes bibliographical references (p. 193-197) and index.