Revision history for entry Rathjen, Michael (2005). "The constructive Hilbert program and the limits of Martin-löf type theory" [RATTCH]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-01-19T10:09:45updateSystem / admin update -
2013-12-02T02:41:39updateSystem / admin update -