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.
Time | Type | Notes |
2024-02-14T13:50:48 | update | System / admin update |
2023-10-17T02:13:43 | update | System / admin update |
2023-05-30T04:43:46 | update | System / admin update |
2017-03-05T04:06:02 | update | |
2017-02-02T20:05:05 | update | System / admin update |
2017-01-20T02:40:58 | update | System / admin update |
2009-01-25T12:34:00 | update | System / admin update |
loading ..