Logica del Primo Ordine nell'Analisi Concettuale