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-19T05:55:59updateSystem / admin update -
2014-03-19T05:55:05updateSystem / admin update -
2014-01-18T11:41:28updateSystem / admin update -
2013-11-22T06:24:55updateSystem / admin update -
2009-12-06T14:50:50update