Sheffer stroke functions in many-valued logics Evans, Trevor; Hardy, Lane — 1957 Portugaliae mathematica