Logic and language models for computer science - Richards, Dana, 1955- (World Scientific, 2018)