Browsing Алгебра и математическая логика by Author "Белякин, Н. В."

Now showing items 1-1 of 1

Компьютеризация доказательства теоремы Мостовского

Белякин, Н. В.; Смолякова, Л. Л. (Барнаул: Издательство Алтайского государственного университета, 2009)

Компьютеризация доказательства теоремы Мостовского

Белякин, Н. В.; Смолякова, Л. Л. (Барнаул: Издательство Алтайского государственного университета, 2009)