Computability theory / By RebeccaWeber
By: Weber, Rebecca.
Material type: BookPublisher: Hyderabad Universities Press (AMS) 1977Description: 203 22cm.ISBN: 9781470425944.Subject(s): Computability theory | Recursion theory | Computable functions | Maths-StatisticsDDC classification: 511.352Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | 511.352 WEB (Browse shelf) | Available | 000906 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
511.352 COP Computability | 511.352 SIN Elements of computation theory | 511.352 SIN Elements of computation theory | 511.352 WEB Computability theory | 511.36 LAK Proofs and refutations | 511.36028563 FRI The Little Prover | 511.36028563 GAL Logic for computer science |
English
There are no comments for this item.