TY - BOOK AU - Causey ,Robert L TI - Logic, sets, and recursion T2 - Jones and Bartlett series in computer science SN - 978-93-80108-08-7 U1 - 511.3 PY - 1994/// CY - Boston PB - Jones and Bartlett, KW - Logic, Symbolic and mathematical. KW - India N1 - Includes bibliographical reference and index ER -