Title: Lineamenti di logica matematica
Subjects: Symbolic and mathematical Logic