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.