Logic, sets, and recursion - Causey Robert L (New Delhi Jones and Bartlett, 2010)
Keywords: Mathematical logic; Symbolic logic