Revision history for entry Rybak, John S.: Mechanizing logic I, map logic extended formally to relational.. [RYBMLI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2024-02-14T13:50:48updateSystem / admin update
2023-10-17T02:13:43updateSystem / admin update
2023-05-30T04:43:46updateSystem / admin update
2017-03-05T04:06:02update
2017-02-02T20:05:05updateSystem / admin update
2017-01-20T02:40:58updateSystem / admin update
2009-01-25T12:34:00updateSystem / admin update