General Recursion Theory An Axiomatic Approach |
|
| Author:
| Fenstad, Jens E. |
| Series title: | Perspectives in Logic Ser. |
| ISBN: | 978-1-107-16816-9 |
| Publication Date: | Mar 2017 |
| Publisher: | Cambridge University Press
|
| Book Format: | Hardback |
| List Price: | AUD $203.95 |
Book Description:
|
This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.
This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.