Revision history for entry Baaz, Matthias; Zach, Richard: Hypersequents and the proof theory of intuition.. [BAAHAT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-11-07T01:21:46update
2017-10-10T05:18:12update
2017-10-10T05:18:12update
2017-10-10T05:18:12addLocal copy uploaded (view this copy)