Analisi logica, Appunti per un Predicato