Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) - Books - Apple Academic Press Inc. - 9781774635759 - March 31, 2021
In case cover and title do not match, the title is correct

Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada)
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1st edition

Price
$ 111.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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 Books     Paperback Book   (Book with soft cover and glued back)
Released March 31, 2021
ISBN13 9781774635759
Publishers Apple Academic Press Inc.
Pages 310
Dimensions 150 × 220 × 10 mm   ·   453 g
Language English  

More by Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada)

Show all

Mere med samme udgiver

See all of Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) ( e.g. Hardcover Book and Paperback Book )