On the implicativity of the lattice of truth-table degrees of algorithmic problems
Doklady Akademii Nauk, Tome 270 (1983) no. 5, pp. 1046-1050
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1983_270_5_a3,
author = {M. I. Kanovitch},
title = {On the implicativity of the lattice of truth-table degrees of algorithmic problems},
journal = {Doklady Akademii Nauk},
pages = {1046--1050},
publisher = {mathdoc},
volume = {270},
number = {5},
year = {1983},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1983_270_5_a3/}
}
M. I. Kanovitch. On the implicativity of the lattice of truth-table degrees of algorithmic problems. Doklady Akademii Nauk, Tome 270 (1983) no. 5, pp. 1046-1050. http://geodesic.mathdoc.fr/item/DAN_1983_270_5_a3/