Revision history for entry Kripke, Saul A.: The Undecidability of Monadic Modal Quantification Theory [KRITUO]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-04-19T08:38:10 | update | System / admin update |
2022-01-04T05:27:58 | update | System / admin update |
2021-12-24T11:18:11 | update | System / admin update |
2018-02-17T02:41:00 | update | System / admin update |
2015-03-18T01:32:24 | update | System / admin update |
2015-02-05T02:21:20 | update | System / admin update |
2014-01-16T07:55:04 | update | System / admin update |
2013-11-04T10:58:05 | update | System / admin update |
2013-11-04T10:56:04 | update | System / admin update |
2010-02-06T10:54:55 | update | |
2010-02-06T10:43:20 | add | |
loading ..