The pages referenced here were produced by instructors and students using Language, Proof and Logic.
- Richard Zach produced this page listing the logicians whose names we used for Tarski's World exercise files.
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.