Rajaa
Hakutulokset: 1402023340 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
A Modern Perspective on Type Theory
sidottu,
2004,
englanti,
ISBN 9781402023347
`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 …