TY - BOOK AU - Chellas Brian F TI - Model logic : an Introduction U1 - R1, M0-;2 (ER) PY - 1980/// CY - Cambridge PB - Cambridge Univ Press KW - LOGIC; PHILOSOPHY ER -