Recenzja Derivation and Computation

Derivation and Computation
\nThe is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.\n przeczytaj całość 

Recenzja

0
Zweryfikowane recenzje są wyraźnie oznaczone, pozostałe nie są zweryfikowane.
Nie ma żadnych recencji. Bądź pierwszy i napisz swoją!