Revision history for entry Lewis, Harry R. (1979). "Unsolvable Classes of Quantificational Formulas" [LEWUCO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-07-27T11:03:16updateSystem / admin update -