Twenty Five Years of Constructive Type Theory - Oxford Logic Guides - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) - Livros - Oxford University Press - 9780198501275 - 15 de outubro de 1998

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)
Twenty Five Years of Constructive Type Theory - Oxford Logic Guides Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)

Name: Twenty Five Years of Constructive Type Theory - Oxford Logic Guides
Price: 805.9 BRL
Availability: OutOfStock
Author: Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)

Preço

R$ 805,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out

Receba avisos sobre novos lançamentos de Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Twenty Five Years of Constructive Type Theory - Oxford Logic Guides

Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

292 pages, bibliography

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	15 de outubro de 1998
ISBN13	9780198501275
Editoras	Oxford University Press
Páginas	292
Dimensões	161 × 242 × 20 mm · 588 g
Idioma	Inglês