Online Library TheLib.net » Тема, жанр, tags: Logic,Automata,Computational Complexity,NP-completeness,Theorem-Proving Procedures,Propositional Pro