Revision history for entry Wiśniewski, Andrzej; Shangin, Vasilyi (2006). "Socratic proofs for quantifiers★" [WINSPF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-19T09:55:59updateSystem / admin update -
2014-03-19T09:55:05updateSystem / admin update -
2014-01-18T16:41:28updateSystem / admin update -
2013-11-22T11:24:55updateSystem / admin update -
2009-12-06T19:50:50update