Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts) by Jouko Väänänen | Menrva Books | MenrvaBooks