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