..

. , .

. . (2004) ø . , .59, 2(356), .936.

. . (2003) . , .242 .4458

S. N. Artemov, T. Yavorskaya (2001) Operations on proofs and labels Mosc. Math. J., .1 4, .475490

. . (1990) O . , .48:1, 3, 39

. . (1988), , .43 2(260) .127128

. . (1985) , . . . ., .49 6, .11231154

<< ...>>

:
email:
:
, :



:


(c) 2008-2012.