Revision history for entry Bunder, M. W.: Illative combinatory logic without equality as a primitive pred.. [MWBICL]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2021-04-13T15:36:10 | update | System / admin update |
2021-03-24T13:21:37 | update | System / admin update |
2021-03-21T12:58:14 | update | System / admin update |
2019-02-06T14:56:07 | update | System / admin update |
2017-02-07T16:03:56 | update | System / admin update |
2017-01-21T04:37:59 | update | System / admin update |
2015-02-04T23:45:51 | update | System / admin update |
2013-12-01T19:35:52 | update | System / admin update |
2013-12-01T19:35:49 | update | System / admin update |
2013-11-22T13:37:45 | update | System / admin update |
2013-11-04T10:37:37 | update | System / admin update |
2011-05-31T13:00:25 | update | System / admin update |
2010-10-28T13:43:39 | update | System / admin update |
2010-10-01T19:44:42 | update | System / admin update |
2010-09-23T17:07:56 | add | System / admin update |
loading ..