Revision history for entry Tamminga, Allard; Tanaka, Koji (1999). "A Natural Deduction System for First Degree Entailment" [TAMAND] |
NB: for privacy reasons, few details are provided in public revision histories.
| Time | Type | Notes |
| 2012-01-25T09:06:30 | update | |
| 2012-01-25T09:06:30 | update | |
| 2012-01-24T16:58:27 | update | |
| 2012-01-24T16:58:27 | update | |
| 2012-01-24T16:58:26 | update | |
| 2012-01-24T16:51:57 | update | |
| 2010-10-28T13:41:53 | update | System / admin update - |
| 2010-09-23T17:09:26 | update | System / admin update - |
| 2010-08-25T13:39:06 | add | System / admin update - |
