Title: Atti degli incontri di logica matematica
Subjects: Symbolic and mathematical Logic