Online Library TheLib.net » Тема, жанр, tags: Logic Symbolic and mathematical,Propositional calculus,Predicate calculus