Causey, Robert L. Logic, sets, and recursion - Boston, Mass. : Jones and Bartlett, 1994 - 405 Subjects--Topical Terms: LOGIC, SYMBOLIC AND MATHEMATICAL LC Class. No.: QA9 / C387L