Revision history for entry Arana, Andrew: Takeuti's proof theory in the context of the Kyoto School [ARATPT-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-10-21T09:36:32update
2019-10-21T09:36:32update
2019-10-21T09:36:32update
2019-10-21T09:36:32addLocal copy uploaded (view this copy)