nLab Hilbert's operator

  • PlanethMath.org: Hilbert’s epsilon operator
  • J. L. Bell, Hilbert’s ε-operator and classical logic, J. of Philosophical Logic 22:1 (Feb., 1993), pp. 1-18 jstor
  • Allen Hazen, Natural deduction and Hilbert’s ε-operator, Journal of Philosophical Logic 16:4 (Nov., 1987), pp. 411-421 jstor
category: logic

Created on April 24, 2013 at 20:12:51. See the history of this page for a list of all contributions to it.