Слабоформальные системы дискретной математики. Статья в сборнике. Под редакцией Д.А. Ловцовастатья