Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Kirjat - Apple Academic Press Inc. - 9781774635759 - keskiviikko 31. maaliskuuta 2021
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Cyrus F. Nourani

Hinta
$ 122,64

Tilattu etävarastosta

Arvioitu toimitus pe 25. heinä - ti 5. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 31. maaliskuuta 2021
ISBN13 9781774635759
Tuottaja Apple Academic Press Inc.
Sivujen määrä 310
Mitta 453 g
Kieli English  

Näytä kaikki

Lisää tuotteita Cyrus F. Nourani