Essential logic for computer science - Page, Rex L. 1944- (The MIT Press, 2018)