Matematičeskie zametki, Tome 48 (1990) no. 3, pp. 119-127
Citer cet article
A. L. Rastsvetaev. A propositional logic of Boolean recursive programs in which predicate variables appear in conditions. Matematičeskie zametki, Tome 48 (1990) no. 3, pp. 119-127. http://geodesic.mathdoc.fr/item/MZM_1990_48_3_a14/
@article{MZM_1990_48_3_a14,
author = {A. L. Rastsvetaev},
title = {A~propositional logic of {Boolean} recursive programs in which predicate variables appear in conditions},
journal = {Matemati\v{c}eskie zametki},
pages = {119--127},
year = {1990},
volume = {48},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1990_48_3_a14/}
}
TY - JOUR
AU - A. L. Rastsvetaev
TI - A propositional logic of Boolean recursive programs in which predicate variables appear in conditions
JO - Matematičeskie zametki
PY - 1990
SP - 119
EP - 127
VL - 48
IS - 3
UR - http://geodesic.mathdoc.fr/item/MZM_1990_48_3_a14/
LA - ru
ID - MZM_1990_48_3_a14
ER -
%0 Journal Article
%A A. L. Rastsvetaev
%T A propositional logic of Boolean recursive programs in which predicate variables appear in conditions
%J Matematičeskie zametki
%D 1990
%P 119-127
%V 48
%N 3
%U http://geodesic.mathdoc.fr/item/MZM_1990_48_3_a14/
%G ru
%F MZM_1990_48_3_a14
