10% de desconto

Modern Perspective On Type Theory eBook

From Its Origins Until Today

de Rob Nederpelt, T. Laan e F.D. Kamareddine
Editor: SPRINGER NETHERLANDS, março de 2006 ‧
145,09€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para 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.

Modern Perspective On Type Theory

From Its Origins Until Today

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

Propriedade Descrição
ISBN: 9781402023354
Editor: SPRINGER NETHERLANDS
Data de Lançamento: março de 2006
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Applied Logic Series
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9781402023354

LIVROS DA MESMA COLEÇÃO