Revision history for entry Ferrante, Jeanne (1974). "Some Upper and Lower Bounds on Decision Procedures in Logic" [FERSUA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-03-18T00:54:00updateSystem / admin update -