TY - BOOK AU - Calude, C S. AU - Dinneen, M J. AU - Sburlan, S., TI - Combinatorics, Computability and Logic : (DMTCS) SN - 1 85233 526 2 CY - London KW - Combinatorial Analysis KW - Computational Complexity KW - Logic, Symbolic and Mathematical ER -