Logica Matematica 2018-19