Logic,sets,and recursion - Causey, Robert L. (New Delhi : Jones and Bartlett, 2010)
Keywords: Mathematics; Sentential calculus; Set theory