Rogers, Hartley, 1926-. Theory of recursive functions and effective computability. New York, McGraw-Hill, [1967]. xix, 482 p. illus. 23 cm. Series: McGraw-Hill series in higher mathematics. "A portion of the material ... appeared, in somewhat different order and form, as Theory of recursive functions and effective computability, volume I ... in 1957". Includes index. Bibliography: p.459-468. 1. Recursive functions. Call#: QA248.5.R6 Mathematics Library, 109 McAllister Annexed Material - Inquire at nearest circulation desk Shoenfield, Joseph Robert, 1927-. Mathematical logic. / [by] Joseph R. Shoenfield. Reading, Mass., Addison-Wesley Pub. Co., [1967]. vii,344p. illus. 25cm. Series: Addison-Wesley series in logic. 1. Logic, Symbolic and mathematical. Call#: QA9.S52 Mathematics Library, 109 McAllister Annexed Material - Inquire at nearest circulation desk Mendelson, Elliott. Introduction to mathematical logic. / Elliott Mendelson. 3rd ed. Monterey, Calif., Wadsworth & Brooks/Cole Advanced Books & Software, c1987. ix, 341 p. 24 cm. Series: The Wadsworth & Brooks/Cole mathematics series. Includes index. Bibliography: p. 289-307. 1. Logic, Symbolic and mathematical. Call#: QA9.M4 1987 Mathematics Library, 109 McAllister Jech, Thomas J. Set theory. / Thomas Jech. New York, Academic Press, 1978. xi, 621 p. ill. 24 cm. Series: Pure and applied mathematics (Academic Press), v. 79. Includes index. Bibliography: p. 596-610. 1. Set theory. Call#: QA3.P8 v.79 Mathematics Library, 109 McAllister Kunen, Kenneth. Set theory, an introduction to independence proofs. / Kenneth Kunen. Amsterdam; New York, North-Holland Pub. Co., 1980. xvi, 313 p. 23 cm. Series: Studies in logic and the foundations of mathematics. Includes indexes. Bibliography: p. 1. Axiomatic set theory. Call#: QA248.K75 Mathematics Library, 109 McAllister Boolos, George. Computability and logic / George Boolos, Richard Jeffrey. 3rd ed. Cambridge [England] ; New York : Cambridge University Press, 1989. viii, 304 p. : ill. ; 24 cm. Includes bibliographical references and index. 1. Computable functions. 2. Recursive functions. 3. Logic, Symbolic and mathematical. Call#: QA9.59.B66 1989 Mathematics Library, 109 McAllister Bldg.