Welcome to the home page of the Grade Grinder, an Internet based grading service for students using the Language, Proof and Logic and Tarski's World (Revised and Expanded Edition) courseware packages.

• Home page of Language, Proof and Logic
• Home page of Tarski's World (Revised and Expanded Edition)

Both of these courseware packages are produced by the Openproof project at the Center for the Study of Language and Information (CSLI) at Stanford University, and are available from CSLI Publications.

Winners of the
1997 Educom Award

Language, Proof, and Logic  •  Tarski's World

The Openproof Project  •  CSLI  •  Stanford University  •  CSLI Publications

All pages and images on this website are copyright material. © The Openproof™ Project 2005-2009.