Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Livres - Apple Academic Press Inc. - 9781774635759 - 31 mars 2021
Si la couverture et le titre ne correspondent pas, le titre est correct.

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1er édition

Prix
€ 99,99

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 31 mars 2021
ISBN13 9781774635759
Éditeurs Apple Academic Press Inc.
Pages 310
Dimensions 150 × 220 × 10 mm   ·   453 g
Langue et grammaire Anglais  

Plus par Cyrus F. Nourani

Afficher tout