Failure of completeness properties of intuitionistic predicate logic for constructive models Daniel Leivant (1976) Annales scientifiques de l'Université de Clermont. Mathématiques