Dependence logic : a new approach to independence friendly logic /
Väänänen, J.(Jouko),1950-
Cambridge : Cambridge University Press,
2007.
Includes bibliographical references and index.
First-order logic.