Logic, sets, and recursion - Causey, Robert L. (Boston : Jones and Bartlett, 2001)
Includes bibliographical references and index
Keywords: Logic, Symbolic and mathematical