Image from Amazon.com
General recursion theory : an axiomatic approach / Jens E. Fenstad
Series: Perspectives in mathematical logicPublication details: Berlin : Springer-Verlag, 1980Description: xi, 225 p. ; 25 cmISBN:- 3540093494
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | - | QA9.6.F46[00008031805] (Browse shelf(Opens below)) | 1 | Available | 00000873381 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) Close shelf browser (Hides shelf browser)
|
|
|
|
|
No cover image available |
|
||
| QA9.59.F58[00008031803] Computability theory, semantics, and logic programming / | QA9.59.G677[00008033648] Edinburgh LCF : a mechanised logic of computation / | QA9.59.P68[00008031804] Computability in analysis and physics / | QA9.6.F46[00008031805] General recursion theory : an axiomatic approach / | QA9.6.I57 1977[00008031806] Fundamentals of computation theory : proceedings of the 1977 International FCT - Conference, Poznan-Kornik, Poland, September 19-23, 1977 / | QA9.63.L47[00008031807] Degrees of unsolvability local and global theory | QA9.63.L48[00008031808] Unsolvable classes of quantificational formulas / |
Includes index
Bibliography : p. 209-216
There are no comments on this title.
Log in to your account to post a comment.