Matemática

Twenty Five Years Of Constructive Type Theory

de Giovanni Sambin e Jan M. Smith 

eBook
Bertrand.pt - Twenty Five Years Of Constructive Type Theory
idioma: Inglês
Editor: CLARENDON PRESS
Edição: outubro de 1998
10%
84,79€
Poupe 8,48€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (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.

Da mesma coleção

ver +
Set Theory
10%
10% Cartão Leitor Bertrand
43,71€
OUP Oxford
eBook
Controlling The Capital
20%
portes grátis
20% Cartão Leitor Bertrand
118,97€
Poupe 23,79€
Oxford University Press
Twenty Five Years Of Constructive Type Theory
de Giovanni Sambin e Jan M. Smith 
ISBN:
9780191589034
Ano de edição:
10-1998
Editor:
CLARENDON PRESS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Oxford Logic Guides
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9780191589034
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.