Title: Dependence Logic
Subjects: Logic, Logic, symbolic and mathematical