Dependence logic a new approach to independence friendly logic - Vaananen Jouko (Cambridge CUP, 2007)
Keywords: First-order logic