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/