Smirnov, V. A. (1996). Dokazatel§stvo i ego poisk : kurs logiki i komp§ëiìuternyæi praktikum. Moskva, "Nauka".
(1996)
Languages mentioned
DEDUCTIO
{1996}