September 29th, 2017

ёжик

Языки логики и классы сложности. Рефлексия. NP ≠ P.