SUpost
Stanford, California
Seeking tutor: CS 157 - Logic and Automated Reasoning — SUpost