Revision history for entry Rathjen, Michael (2005). "The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory" [MICTDA] |
| Time | Type | Notes |
| 2010-10-28T13:39:33 | update | System / admin update - |
| 2010-10-02T02:25:09 | update | System / admin update - |
| 2010-09-23T17:30:32 | add | System / admin update - |
