TY  - BOOK
AU  - Vaananen Jouko
TI  - Dependence logic: a new approach to independence friendly logic
SN  - 978-0-521-87659-9
U1  - 511.3 
PY  - 2007///
CY  - Cambridge
PB  - CUP
KW  - First-order logic
ER  -