Certain properties of E.\,L.~Post's apparatus of canonical calculi
Informatics and Automation, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 5-56
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TRSPY_1964_72_a1,
author = {S. Yu. Maslov},
title = {Certain properties of {E.\,L.~Post's} apparatus of canonical calculi},
journal = {Informatics and Automation},
pages = {5--56},
publisher = {mathdoc},
volume = {72},
year = {1964},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TRSPY_1964_72_a1/}
}
S. Yu. Maslov. Certain properties of E.\,L.~Post's apparatus of canonical calculi. Informatics and Automation, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 5-56. http://geodesic.mathdoc.fr/item/TRSPY_1964_72_a1/