[CS 474] Logic in Computer Science #software-foundations/cs474 #algorithms-and-models-of-computation/cs474 Prerequisities: