Hilbert Language Help

(this text by Steven DeHaven, Calgary, and Christian Gottschall, Vienna)

Open the applet in this window

This help neither explains the deductive system nor the Hilbert proof builder applet itself. If you need help with either of them go to Help with Rules or Help with Applet. The sole purpose of this text is to explain the formal language understood by the Hilbert-Style Proof Builder applet.


© Christian Gottschall / christian.gottschall@posteo.de / 2012-03-31 01:19:53