TY - BOOK AU - Baker-Plummer, Dave TI - Language Proof and Logic SN - 9781575866321 PY - 2011/// CY - California PB - CSLI Publications KW - Grammar N1 - includes Index ER -