00 02/06/2009 16:23
Come primissima introduzione alla logica formale, però, ti consiglio il manualetto di Berto, “Logica da zero a Godel”


Berto è stato tra i miei maestri, e ho letto questo testo ovviamente, ma non mi sembra proprio che tratti di logica modale (che era quella che interessava a Teo).
---------------------
Ά όταν έκτιζαν τα τείχη πώς να μην προσέξω.
Αλλά δεν άκουσα ποτέ κρότον κτιστών ή ήχον.
Ανεπαισθήτως μ' έκλεισαν απο τον κόσμο έξω
(Κ. Καβάφης)