University of Amsterdam — MSc Logic • Libertify