A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
scientific article; zbMATH DE number 7011461