Introduction To Sentential Logic by Thomas Szirtes