Thoralf Skolem and the Epsilon Substitution Method for Predicate Logic

Grigori Mints

Delivered as the 1994 Skolem Lecture at the University of Oslo.

 

 
• 1. Introduction
• 2. Quantifier-Free Expansions of Formulas and -theorems
• 3. -substitution Method for Interpreted Theories and its Transfer to Predicate Logic
• 4. Predicate Calculus. The System
• 5. Epsilon Substitution Method for
• 6. The Tree of Reduction Sequences
• References

• Copyright notice

To make your own printed copy of this article, download one of the following files:

Postscript: epsilon.ps (276851 bytes)
Postscript, compressed: epsilon-ps.zip (64258 bytes)
Adobe Acrobat: epsilon.pdf (321609 bytes)
TeX DVI: epsilon.dvi (42832 bytes)
TeX DVI, compressed: epsilon-dvi.zip (18709 bytes)