TY - RPRT TI - Counting false entries in truth tables of bracketed formulae connected by implication AU - Peter J. Cameron AU - Volkan Yildiz PY - 2011 UR - https://arxiv.org/abs/1106.4443 ID - 1106.4443 ER -