
Vertel uw vrienden over dit artikel:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1e uitgave
Cyrus F. Nourani
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1e uitgave
Cyrus F. Nourani
This book presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important comput
310 pages
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 31 maart 2021 |
ISBN13 | 9781774635759 |
Uitgevers | Apple Academic Press Inc. |
Pagina's | 310 |
Afmetingen | 453 g |
Taal en grammatica | Engels |
Alles tonen
Meer door Cyrus F. Nourani
Bekijk alles van Cyrus F. Nourani ( bijv. Hardcover Book en Paperback Book )