Revision history for entry Baaz, Matthias; Iemhoff, Rosalie (2006). "Gentzen calculi for the existence predicate" [BAAGCF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-03-05T13:09:51update
2011-03-05T13:09:45update