Web Directory
 

The Epsilon Calculus

  Link Details for: The Epsilon Calculus
Link Title: The Epsilon Calculus Open in a new window
Link URL: http://plato.stanford.edu/entries/epsilon-calculus/
Link Details: Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
Category: Top : Science : Math : Logic_and_Foundations : Proof_Theory
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The Epsilon Calculus