The Epsilon Calculus
URL: http://plato.stanford.edu/entries/epsilon-calculus/
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Reference: Stanford Encyclopedia of Philosophy: The Epsilon Calculus
Detailed Traffic Statistic From Alexa
Description:
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods; by Jeremy Avigad and Richard Zach.