From: Stephen G Simpson <simpson@math.psu.edu>
  To: Jon Wallace <jmw19@psulias.psu.edu>
  Subject: course reserve, Math 557
  Date: Fri, 26 Aug 2005 12:04:45 -0400

  To: Jon Wallace, PAMS Library

  Dear Mr. Wallace,

  Could you please put the following books on reserve in the PAMS
  Library, 201 Davey, for my Mathematical Logic course, Math 557, Fall
  2005?

    Raymond Smullyan, First-Order Logic

    Herbert Enderton, A Mathematical Introduction to Logic

    Elliott Mendelson, Introduction to Mathematical Logic

    Melvin Fitting, First-Order Logic and Automated Theorem Proving

    Joseph Shoenfield, Mathematical Logic

    John Bell and Moshe Machover, A Course in Mathematical Logic

  -- Steve

  Professor Stephen G. Simpson        secretary:     814-865-7527
  Department of Mathematics           office:        814-863-0775
  Pennsylvania State University       home:          814-238-2274
  State College, PA 16802, USA        fax:           814-865-3735
  http://www.math.psu.edu/simpson/    email: simpson@math.psu.edu

  PS.

  Here are some more details about the books, from LIAS.

  1. Smullyan, Raymond M.  First-order logic. / [by] Raymond
     M. Smullyan. Berlin; New York [etc.], Springer-Verlag, 1968.  xii,
     158 p. 24 cm.  Series: Ergebnisse der Mathematik und ihrer
     Grenzgebiete, Bd.43.  Bibliography: p. [156].  1. Logic, Symbolic
     and mathematical. 2. First-order logic.  Call#: QA9.S57 Mathematics
     Library, 109 McAllister

  2. Enderton, Herbert B.  A mathematical introduction to logic. / [by]
     Herbert B. Enderton. New York, Academic Press, [1972].  xiii, 295
     p. illus. 24 cm.  1. Logic, Symbolic and mathematical.  Call#:
     QA9.E54 Mathematics Library, 109 McAllister 4th Floor Paterno

  3. 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

     [ I am asking for the 3rd edition, but the 1st or 2nd editions
     would also be suitable. ]

  4. Fitting, Melvin, 1942-.  First-order logic and automated theorem
     proving. / Melvin Fitting. 2nd ed.  New York, Springer, c1996.
     xvi, 326 p. ill. 25 cm.  Series: Graduate texts in computer science
     (Springer-Verlag New York Inc.).  Includes bibliographical
     references (p. [315]-318) and index.  1. Automatic theorem
     proving. 2. Logic, Symbolic and mathematical.  Call#: QA76.9.A96F68
     1996 Mathematics Library, 109 McAllister

     [ I am asking for the 2nd edition, but the 1st edition would also
     be suitable. ]

  5. 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

  6. Machover, Moshe Bell, John Lane.  A course in mathematical logic. /
     by J. L. Bell and M. Machover. Amsterdam, North-Holland Pub. Co.;
     New York, sole distributors for the U.S.A. and Canada American
     Elsevier Pub. Co., 1977.  xviii, 599 p. 23 cm.  Includes indexes.
     Bibliography: p. [576]-583.  1. Logic, Symbolic and mathematical.
     Call#: QA9.B3953 Mathematics Library, 109 McAllister