An introduction to formal logic - Epstein, Richard L. 1947- (Advanced Reasoning Forum, 2020)