Hamburger H. Logic and Language Models for Computer Science 4ed 2023