Logic and language models for computer science - Richards, Dana (Verfasser); Hamburger, Henry (World Scientific, 2023)