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.
TimeTypeNotes
2014-03-28T16:21:37updateSystem / admin update -
2013-11-22T08:41:23updateSystem / admin update -
2013-11-22T08:41:15updateSystem / admin update -
2013-11-04T06:10:40updateSystem / admin update -
2012-01-25T04:06:30update
2012-01-25T04:06:30update
2012-01-24T11:58:27update
2012-01-24T11:58:27update
2012-01-24T11:58:26update
2012-01-24T11:51:57update
2010-10-28T08:41:53updateSystem / admin update -
2010-09-23T12:09:26updateSystem / admin update -
2010-08-25T08:39:06addSystem / admin update -