TY  - BOOK
AU  - Väänänen, Jouko
TI  - Dependence Logic
SN  - 9780521700153
U1  - 511.3 
PY  - 2007///
PB  - Cambridge
KW  - Mathematics
ER  -