Revision history for entry Thomas, Ivo (1970). "Final word on a shortest implicational axiom" [IVOFWO] |
| Time | Type | Notes |
| 2010-10-28T13:42:23 | update | System / admin update - |
| 2010-10-01T19:41:55 | update | System / admin update - |
| 2010-09-23T17:05:56 | add | System / admin update - |
