Computability, an introduction to recursive function theory
Publication details: Cambridge The University Press 1990ISBN: 0521294657Subject(s): COMPUTABLE FUNCTIONS | Recursion theoryLOC classification: QA 9.59 Cut| Item type | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
MONOGRAPH
|
CBU-MAIN LIBRARY, KITWE. | QA 9.59 Cut (Browse shelf(Opens below)) | Available | 025792 |
Browsing CBU-MAIN LIBRARY, KITWE. shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA 9.59 Boo Computability and logic | QA 9.59 Boo Computability and logic | QA 9.59 Boo Computability and logic | QA 9.59 Cut Computability, an introduction to recursive function theory | QA 9.7 Bal Model theory and the philosophy of mathematical practice : formalization without foundationalism | QA 9.7 Ful Modelling with differential and difference equations | QA 9.7 Mod Model theory, algebra, and geometry |
There are no comments on this title.