Master in Pure and Applied Logic