http://tatarica.org/tat/razdely/biblioteka-tatarika/nauchnyj-tatarstan/2004/oblast-ego-issledovanij-matematicheskaya-logika