decidability in toc

welcome to shbcf.ru