Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Libros - Apple Academic Press Inc. - 9781774635759 - 31 de marzo de 2021
En caso de que portada y título no coincidan, el título será el correcto

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1.º edición

Precio
€ 98,99

Pedido desde almacén remoto

Entrega prevista 12 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 31 de marzo de 2021
ISBN13 9781774635759
Editores Apple Academic Press Inc.
Páginas 310
Dimensiones 150 × 220 × 10 mm   ·   453 g
Lengua Inglés  

Mas por Cyrus F. Nourani

Mostrar todo