Algebra i logika, Tome 37 (1998) no. 1, pp. 107-117
Citer cet article
P. A. Schreiner. Intermediate predicate logic without the Beth property. Algebra i logika, Tome 37 (1998) no. 1, pp. 107-117. http://geodesic.mathdoc.fr/item/AL_1998_37_1_a6/
@article{AL_1998_37_1_a6,
author = {P. A. Schreiner},
title = {Intermediate predicate logic without the {Beth} property},
journal = {Algebra i logika},
pages = {107--117},
year = {1998},
volume = {37},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1998_37_1_a6/}
}
TY - JOUR
AU - P. A. Schreiner
TI - Intermediate predicate logic without the Beth property
JO - Algebra i logika
PY - 1998
SP - 107
EP - 117
VL - 37
IS - 1
UR - http://geodesic.mathdoc.fr/item/AL_1998_37_1_a6/
LA - ru
ID - AL_1998_37_1_a6
ER -
%0 Journal Article
%A P. A. Schreiner
%T Intermediate predicate logic without the Beth property
%J Algebra i logika
%D 1998
%P 107-117
%V 37
%N 1
%U http://geodesic.mathdoc.fr/item/AL_1998_37_1_a6/
%G ru
%F AL_1998_37_1_a6