Oggi a lezione di computational logic ho conosciuto un certo kripke

Nel programma abbiamo cose che ha creato a 16 ANNI, RIPETO, 16 ANNI, è assurdo, DAMN

Cioè è il fondatore di logica modale, branca di cui computer science si interessa tantissimo