Revision history for entry Baaz, Matthias; Iemhoff, Rosalie (2006). "Gentzen calculi for the existence predicate" [BAAGCF] |
| Time | Type | Notes |
| 2011-03-05T13:09:51 | update | |
| 2011-03-05T13:09:45 | update |
Revision history for entry Baaz, Matthias; Iemhoff, Rosalie (2006). "Gentzen calculi for the existence predicate" [BAAGCF] |
| Time | Type | Notes |
| 2011-03-05T13:09:51 | update | |
| 2011-03-05T13:09:45 | update |