TY - BOOK AU - Appiah Anthony TI - Assertion and conditionals U1 - R1, M5 PY - 1985/// CY - Cambridge PB - Cambridge University Press KW - LOGIC ER -