(untitled) - Rosen, Kenneth H. (Hà Nội, 2002)
Keywords: Computer science,Logic, symbolic and mathematical; Mathematics