Logica Matematica 2017-18