Revision history for entry Dreben, Burton (1979). "The Decision Problem: Solvable Classes of Quantificational Formulas" [DRETDP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-01-24T20:44:26update
2010-01-24T20:44:26update
2009-01-25T12:48:26updateSystem / admin update -