Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Livros - Apple Academic Press Inc. - 9781774635759 - 31 de março de 2021
Caso a capa e o título não sejam correspondentes, considere o título como correto

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1th edição

Cyrus F. Nourani

Preço
NZD 183
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 - 31 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1th edição

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 31 de março de 2021
ISBN13 9781774635759
Editoras Apple Academic Press Inc.
Páginas 310
Dimensões 453 g
Idioma English  

Mostrar tudo

Mais por Cyrus F. Nourani