MATH 388: Logic and Its Applications