Geodesic
Failure of completeness properties of intuitionistic predicate logic for constructive models
Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 93-107

Voir la notice de l'article provenant de la source Numdam

MR Zbl EuDML 
Leivant, Daniel. Failure of completeness properties of intuitionistic predicate logic for constructive models. Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 93-107. http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_93_0/
@article{ASCFM_1976__60_13_93_0,
     author = {Leivant, Daniel},
     title = {Failure of completeness properties of intuitionistic predicate logic for constructive models},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     pages = {93--107},
     year = {1976},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     mrnumber = {476411},
     zbl = {0362.02014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_93_0/}
}
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://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_93_0/
LA  - en
ID  - ASCFM_1976__60_13_93_0
ER  - 
%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://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_93_0/
%G en
%F ASCFM_1976__60_13_93_0