TY - BOOK AU - Causey, Robert L TI - Logic, sets, and recursion SN - 9789380108087 PB - Jones and Bartlett KW - Mathematical logic KW - Number systems KW - Predicate calculus KW - Recursion and mathematical induction KW - Sentential calculus KW - Set theory N1 - Includes bibliographical references and index ER -