Fundamentals of Computer Science & Logic