Programs

The following programs, in Prolog, are available.

• From First-Order Logic and Automated Theorem Proving
• Gödel-Löb Fixpoint Program