A compendium of logic [electronic resource]