The construction of a sequence of strongly independent superintuitionistic propositional calculi
Doklady Akademii Nauk, Tome 181 (1968) no. 1, pp. 33-34
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1968_181_1_a7,
author = {V. A. Yankov},
title = {The construction of a sequence of strongly independent superintuitionistic propositional calculi},
journal = {Doklady Akademii Nauk},
pages = {33--34},
publisher = {mathdoc},
volume = {181},
number = {1},
year = {1968},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1968_181_1_a7/}
}
TY - JOUR AU - V. A. Yankov TI - The construction of a sequence of strongly independent superintuitionistic propositional calculi JO - Doklady Akademii Nauk PY - 1968 SP - 33 EP - 34 VL - 181 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1968_181_1_a7/ LA - ru ID - DAN_1968_181_1_a7 ER -
V. A. Yankov. The construction of a sequence of strongly independent superintuitionistic propositional calculi. Doklady Akademii Nauk, Tome 181 (1968) no. 1, pp. 33-34. http://geodesic.mathdoc.fr/item/DAN_1968_181_1_a7/