Cyrus F. Nourani
Broschiertes Buch

Algebraic Computability and Enumeration Models

Recursion Theory and Descriptive Complexity

Versandkostenfrei!
Versandfertig in 1-2 Wochen
98,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
49 °P sammeln!
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