Logic and Language Models for Computer Science Fourth Edition - Richards Dana & Hamburger Henry (World Scientific, 2023)
Keywords: Computer Science