Dependence Logic by Jouko Vaananen