Офигенная штука: http://logitext.ezyang.scripts.mit.edu/l... — интерактивная обучалка sequent calculus, и, в том числе, "Невыносимо-Непонятного Контекста Γ".
ништякзаодно и узнаю наконец че это такое :D
1 comment
recommend
bookmark
subscribe
ништяк
заодно и узнаю наконец че это такое :D