Revision history for entry Deutsch, Michael: Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀(0,1), ∃∞∀.. [DEUWVZ]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-02-05T15:09:17updateSystem / admin update
2015-01-31T23:28:16updateSystem / admin update
2014-01-16T08:44:56updateSystem / admin update
2013-12-01T18:06:41addSystem / admin update