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-28T20:21:37updateSystem / admin update -
2013-11-22T13:41:23updateSystem / admin update -
2013-11-22T13:41:15updateSystem / admin update -
2013-11-04T11:10:40updateSystem / admin update -
2012-01-25T09:06:30update
2012-01-25T09:06:30update
2012-01-24T16:58:27update
2012-01-24T16:58:27update
2012-01-24T16:58:26update
2012-01-24T16:51:57update
2010-10-28T13:41:53updateSystem / admin update -
2010-09-23T17:09:26updateSystem / admin update -
2010-08-25T13:39:06addSystem / admin update -