Richmond H. Thomason Hugues Leblanc All or None: A Novel Choice of Primitives for Elementary Logic. 345-351 1967 32 J. Symb. Log. 3 db/journals/jsyml/jsyml32.html#ThomasonL67