Läuchli's completeness theorem from a topos-theoretic perspective
The aim of this paper is to prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus.
scientific article; zbMATH DE number 5705486