PROBLEMS IN SET THEORY, MATHEMATICAL LOGIC AND THE THEORY OF ALGORITHMS - Lavrov,Igor; Maksimova,Larisa (Kluwer Academic / Plenum Publishers, New York, 2003)
Keywords: Set Theory; Logic, Symbolic And Mathematical; Algorithms