TY - BOOK AU - Causey, RL TI - Logic, sets and recursion SN - 9789380108087 U1 - 510.63 PY - 2010/// CY - Boston PB - JBP KW - DERIVATION RULES KW - LOGIC KW - PITFALLS OF RECURSION KW - SET THEORY N1 - Ref. sec ER -