General recursion theory : an axiomatic approach
Material type: TextLanguage: English Series: Perspectives in logicPublication details: Cambridge University Press, Association for Symbolic Logic c2016Edition: Description: xi, 225pISBN:- 9781107168169 (HB)
- 511.35 FEN(GEN)
Item type | Current library | Call number | Copy number | Status | Barcode | |
---|---|---|---|---|---|---|
Books | Central Library | 511.35 FEN(GEN) (Browse shelf(Opens below)) | 1 | Available | 25242 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.34 POI(COU) A course in model theory : an introduction to contemporary mathematical logic | 511.34 SAR(COU) A course on basic model theory | 511.35 ASH(AUT) Automata studies | 511.35 FEN(GEN) General recursion theory : an axiomatic approach | 511.35 HAD(CEL) Cellular automata : analysis and applications | 511.35 HIN(LAM) Lambda-Calculus and combinators: an introduction | 511.35 MAR(INT) Introduction to languages and the theory of computation |
inv no.SAR/329/2017; dt.23-08-2017
There are no comments on this title.
Log in to your account to post a comment.