Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics - Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark) - Livros - Elsevier Science & Technology - 9780444520777 - 1 de junho de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark)
Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics 149 edition

Preço
R$ 970,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de set - 8 de out
Receba avisos sobre novos lançamentos de Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark)

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

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.

456 pages, illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de junho de 2006
ISBN13 9780444520777
Editoras Elsevier Science & Technology
Páginas 456
Dimensões 163 × 240 × 30 mm   ·   825 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark)