Lepiej zredagowany rozdział o tożsamości Curry'ego-Howarda.