TY - BOOK A1 - C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.( TI - Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01( PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101385448 UR /book/101385448/Combinatorics-computability-and-logic-proceedi/ ER -