Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Bücher - Apple Academic Press Inc. - 9781774635759 - 31. März 2021
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1. Ausgabe

Preis
SFr. 88,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 12. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 31. März 2021
ISBN13 9781774635759
Verlag Apple Academic Press Inc.
Seitenanzahl 310
Maße 150 × 220 × 10 mm   ·   453 g
Sprache Englisch  

Weitere Titel von Cyrus F. Nourani

Alle anzeigen