T. Laan

partilhar

Em destaque VER +

Modern Perspective On Type Theory

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.

bibliografia

10%

10% Cartão Leitor Bertrand

145,09€

Poupe 14,51€

Modern Perspective On Type Theory

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

SPRINGER NETHERLANDS

eBook

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.