The Epsilon Calculus

The Epsilon Calculus
All Links

Share this:

Details of The Epsilon Calculus

About The Epsilon Calculus
The Epsilon Calculus- Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods; by Jeremy Avigad and Richard Zach.
Stanford Encyclopedia of Philosophy