the art of logic