Title: Rudimenti di logica
Subjects: Predicate calculus, Symbolic and mathematical Logic