Title: Introduzione alla logica formale
Subjects: Logic