Appunti di analisi formale