Revision history for entry Jäger, Gerhard (1986). "Theories for Admissible Sets: A Unifying Approach to Proof Theory" [JGETFA] |
| Time | Type | Notes |
Revision history for entry Jäger, Gerhard (1986). "Theories for Admissible Sets: A Unifying Approach to Proof Theory" [JGETFA] |
| Time | Type | Notes |