TY - BOOK AU - Lavrov, Igor AU - Maksimova, Larisa TI - Problems in set theory,mathematical logic and the theory of algorithms SN - 0-306-47712-2 U1 - 511.32 PY - 2003/// CY - New York PB - Kluwer Academic KW - Algorithems theory KW - Mathematical logic KW - Set theory N1 - Includes index; Researsearchco ER -