Revision history for entry Toledo, Sue Ann (1975). "Tableau Systems for First Order Number Theory and Certain Higher Order Theories" [TOLTSF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2009-01-22T12:12:59updateSystem / admin update -