Juha Kontinen;Jouko Väänänen
Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland 00014;ILLC, University of Amsterdam, Amsterdam, The Netherlands and Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
On Definability in Dependence Logic
Journal of Logic, Language and Information