An elementary treatise of logic;