TY - BOOK AU - Causey Robert L TI - Logic, sets, and recursion SN - 978-93-80108-08-7 U1 - 511.3 PY - 2010/// CY - New Delhi PB - Jones and Bartlett KW - Mathematical logic KW - Symbolic logic ER -