Foundations Of Formal Logic by Henry Bradford Smith