T. Laan – författare
Visar alla böcker från författaren T. Laan. Handla med fri frakt och snabb leverans.
2 produkter
Modern Perspective on Type Theory
From its Origins until Today
Av F.D. Kamareddine, T. Laan m. fl.
Inbunden, 2004
1963 kr
Lägg i varukorg
`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 led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has …
Modern Perspective on Type Theory
From its Origins until Today
Av F.D. Kamareddine, T. Laan m. fl.
Häftad, 2010
1420 kr
Lägg i varukorg
`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 led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has …
