Revision history for entry Beziau, Jean-Yves (manuscript). "Introduction of implication and generalization in axiomatic calculi" [BEZIOI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes