TY  - BOOK
AU  - Mann, Allen L.  Sandu, Gabriel and Sevenster, Merlijn
TI  - Independence-friendly logic
SN  - 9780521149341
U1  - 160.41 
PY  - 2011///
PB  - Cambridge
KW  - Mathematics
ER  -