Dehornoy: Set Theory Fifty Years After Cohen
September-19-11
3:23 AM
I should read about the Curry-Howard isomorphism in intuitionistic logic: [link]