Lectures on the Epsilon Calculus
classification
🧮 math.LO
keywords
epsiloncalculuslecturesaxiomscompletenesscoveringfirstnotes
read the original abstract
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.