2 Ebooks de F.D. Kamareddine
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
Engleză
€128.39
F.D. Kamareddine: Thirty Five Years of Automating Mathematics
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN’S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a n …
PDF
Engleză
DRM
€115.45