TY - BOOK AU - Causey, Robert L TI - Logic, sets, and recursion SN - 9789380108087 CY - New Delhi KW - Mathematical logic KW - Recursion KW - Set theory N1 - Includes references and index ER -