Voir la notice de l'article provenant de la source Numdam
@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},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {60},
number = {13},
year = {1976},
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
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/