I fondamenti della logica formale contemporanea