3 كتب إلكترونية بواسطة Rob Nederpelt
F.D. Kamareddine & T. Laan: A 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 led …
PDF
الإنجليزية
€128.39
Herman (Radboud Universiteit Nijmegen) Geuvers & Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt: Type Theory and Formal Proof
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 und …
PDF
DRM
€84.96
