[finite-model-theory] World Logic Day: January 14 / Day of birth of Alfred Tarski and of death of Kurt Gödel