A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Livros - Springer - 9789048166398 - 22 de outubro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 2004 edition

Preço
R$ 733,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 9 de out
Receba avisos sobre novos lançamentos de Fairouz D. Kamareddine

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

374 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de outubro de 2010
ISBN13 9789048166398
Editoras Springer
Páginas 374
Dimensões 156 × 234 × 19 mm   ·   526 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Fairouz D. Kamareddine