Запись математических предложений в виде формул, логики, предикатов (см.заметку)

by Andrey Klenkov 10/31/2010
3995