Online Library TheLib.net » Тема, жанр, tags: Propositional calculus -- Congresses.,Algebra Boolean -- Congresses.,Computer algorithms -- Congress