Dependence Logic - A New Approach to Independence Friendly Logic

Jouko A. Väänänen. Dependence Logic - A New Approach to Independence Friendly Logic. Volume 70 of London Mathematical Society student texts, Cambridge University Press, 2007. [doi]

Abstract

Abstract is missing.