Revision history for entry Buchsbaum, Arthur; Beziau, Jean-Yves (unknown). "Introduction of Implication and Generalization in Axiomatic Calculi" [BUCIOI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-01-21T03:56:44addSystem / admin update -