Rob Nederpelt – författare
Visar alla böcker från författaren Rob Nederpelt. Handla med fri frakt och snabb leverans.
6 produkter
Logical Reasoning
A First Course
Av Fairouz Kamareddine, Rob Nederpelt
Häftad, 2004
264 kr
Lägg i varukorg
Type Theory and Formal Proof
An Introduction
Av Rob Nederpelt, Herman Geuvers
Inbunden, 2014
1257 kr
Lägg i varukorg
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the …
Type Theory and Formal Proof
An Introduction
Av Herman Geuvers, Rob Nederpelt
E-bok, 2014
1215 kr
Lägg i varukorg
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the …
Type Theory and Formal Proof
An Introduction
Av Herman Geuvers, Rob Nederpelt
E-bok, 2014
1242 kr
Lägg i varukorg
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the …
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
1423 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 …
