Spahn new directions in categorical logic (history)

December 25, 2012