 Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen  1988  Amsterdam: North Holland. Edited by D. van Dalen.details


Hilbert's ɛoperator and classical logic.J. L. Bell  1993  Journal of Philosophical Logic 22 (1):1  18.details


An Herbrand theorem for prenex formulas of LJ.Kenneth A. Bowen  1976  Notre Dame Journal of Formal Logic 17 (2):263266.details


The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach  2006  Studia Logica 82 (1):133155.details


Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill  2015  Dissertation, University of Waterloodetails


Intuitionistic ε and τcalculi.David Devidi  1995  Mathematical Logic Quarterly 41 (4):523546.details


A propositional calculus with denumerable matrix.Michael Dummett  1959  Journal of Symbolic Logic 24 (2):97106.details


Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi  1992  Studia Logica 51 (2):317  335.details


Semantics and Proof Theory of the Epsilon Calculus.Richard Zach  2017  In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 2747.details


Unsound inferences make proofs shorter.Juan P. Aguilera & Matthias Baaz  2019  Journal of Symbolic Logic 84 (1):102122.details


Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach  2004  History and Philosophy of Logic 25 (2):7994.details


Firstorder Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining  2007  Annals of Pure and Applied Logic 147 (1):2347.details


On the Predicate Logic of Linear Kripke Frames and some of its Extensions.Dmitrij Skvortsov  2005  Studia Logica 81 (2):261282.details


Ackermann’s substitution method.Georg Moser  2006  Annals of Pure and Applied Logic 142 (1):118.details


Intuitionistic Predicate Calculus with ^^epsilon;Symbol.Kokio Shirai  1971  Annals of the Japan Association for Philosophy of Science 4 (1):4967.details

