Epsilon Calculus

Details of Epsilon Calculus

Epsilon Calculus- Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.

Foundations