Matemática

Modern Perspective On Type Theory

From Its Origins Until Today

de Rob Nederpelt, F.D. Kamareddine e T. Laan 

eBook
Bertrand.pt - Modern Perspective On Type Theory
idioma: Inglês
Editor: SPRINGER NETHERLANDS
Edição: março de 2006
10%
145,09€
Poupe 14,51€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This book gathers much of their influential work and is useful for those interested in type theory.

Da mesma coleção

ver +
Hybrid Logic And Its Proof-Theory
10%
10% Cartão Leitor Bertrand
118,59€
Poupe 11,86€
SPRINGER NETHERLANDS
eBook
Textbook Of Belief Dynamics
10%
10% Cartão Leitor Bertrand
171,59€
Poupe 17,16€
SPRINGER NETHERLANDS
eBook
Modern Perspective On Type Theory
From Its Origins Until Today
de Rob Nederpelt, F.D. Kamareddine e T. Laan 
ISBN:
9781402023354
Ano de edição:
03-2006
Editor:
SPRINGER NETHERLANDS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Applied Logic Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

eBooks  >  eBooks em Inglês  >  Ciências Sociais e Humanas  >  Filosofia

EAN:
9781402023354
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.