H. P. Grice reads Hilbert's and Ackermann's 1922 logical notes -- Peirce's stroke

In recent years, axiom systems of the latter sort, which employ as primitive only implication and ... system for the sentential calculus which uses only Sheffer's stroke X / Y, mentioned above.