Title: Fundamentals of Logic and Computation