Richard Zach

Philosophy of Logic and Mathematics

The Significance of the Curry-Howard Isomorphism

Accessible
Requires Authentication
De Gruyter | 2020