/ Notes / Types Logic Leonid Dubinsky [[TODO]] learn: Open Logic Project – Open Source, Customizable, Advanced Logic Text Impredicativity Extensionality Intensional logic The significance of the Curry-Howard isomorphism – Richard Zach