От Игорь Куртуков
К Гегемон
Дата 20.05.2005 19:03:33
Рубрики 1941;

Аристотелева логика эквивалентна исчислению предикатов. (-)