%0 Journal Article
%A Leivant, Daniel
%T Failure of completeness properties of intuitionistic predicate logic for constructive models
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1976
%P 93-107
%V 60
%N 13
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1976__60_13_93_0/
%G en
%F ASCFM_1976__60_13_93_0