(untitled) - Rosen, Kenneth H. (New York, 2007)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical; Mathematics; Computer science -- Mathematics