The Epsilon Calculus
plato.stanford.eduDiscussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.