Class project for Logic in Computer Sicence