Revision history for entry Yasuhara, Mitsuru: An axiomatic system for the first order language with an eq.. [YASAAS]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-02-05T14:36:46 | update | System / admin update |
2017-04-23T10:24:02 | update | System / admin update |
2017-01-19T03:53:38 | update | System / admin update |
2015-02-05T06:57:06 | update | System / admin update |
2013-11-22T11:53:21 | update | System / admin update |
2013-11-04T10:51:21 | update | System / admin update |
loading ..