TY  - JOUR
AU  - Leivant, Daniel
TI  - Failure of completeness properties of intuitionistic predicate logic for constructive models
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1976
SP  - 93
EP  - 107
VL  - 60
IS  - 13
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1976__60_13_93_0/
LA  - en
ID  - ASCFM_1976__60_13_93_0
ER  -