Tarski's World (Java Applet) Note: This is a local copy for LX502. The original can be found here. This Applet was written by Prof. Robert Stärk (Eidgenössische Technische Hochschule Zürich).

If you were using a Java-enabled browser, you would see Tarski's World instead of this paragraph.

syntax | examples | info | home Last modified: 30-Jul-2002 / staerk@inf.ethz.ch