10% de desconto

Twenty Five Years Of Constructive Type Theory eBook

de Jan M. Smith e Giovanni Sambin
idioma: inglês
Editor: CLARENDON PRESS, outubro de 1998 ‧
84,79€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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.

Twenty Five Years Of Constructive Type Theory

de Jan M. Smith e Giovanni Sambin

Propriedade Descrição
ISBN: 9780191589034
Editor: CLARENDON PRESS
Data de Lançamento: outubro de 1998
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Oxford Logic Guides
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780191589034

LIVROS DA MESMA COLEÇÃO