С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»

Published 2015-03-21
Recommendations
Similar videos