Stanford Masters Students Program Sheets (CURIS 2014 project, Stanford Logic Group)