Revision history for entry Baaz, Matthias (1986). "Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$" [MATKSF] |
| Time | Type | Notes |
| 2012-10-15T09:21:30 | update | |
| 2011-03-05T13:08:17 | update | |
| 2011-03-05T13:08:13 | update | |
| 2010-10-28T13:43:51 | update | System / admin update - |
| 2010-10-01T19:45:06 | update | System / admin update - |
| 2010-09-23T17:08:12 | add | System / admin update - |
