Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

1st Edition

Cyrus F. Nourani

What are VitalSource eBooks?

Apple Academic Press
Published February 24, 2016
Reference - 310 Pages
ISBN 9780429154720 - CAT# KE82744

For Instructors Request Inspection Copy

was $57.95

USD$52.16

SAVE ~$5.80

Add to Wish List
FREE Standard Shipping!

Summary

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, 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