
Fortæl dine venner om denne vare:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1. udgave
Cyrus F. Nourani
Pris
£ 101,99
Bestilles fra fjernlager
Forventes klar til forsendelse 24. - 31. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1. udgave
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
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 31. marts 2021 |
ISBN13 | 9781774635759 |
Forlag | Apple Academic Press Inc. |
Antal sider | 310 |
Mål | 453 g |
Sprog | Engelsk |
Vis alle
Mere med Cyrus F. Nourani
Se alt med Cyrus F. Nourani ( f.eks. Hardcover bog og Paperback Bog )