%0 Journal Article %A Yu. V. Matiyasevich %T Simple examples of unsolvable canonical calculi %J Informatics and Automation %D 1967 %P 50-88 %V 93 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a3/ %G ru %F TRSPY_1967_93_a3