CMPS217, Spring 2013, Section 01: Books on Reserve

The following books have been placed on reserve at the Science and Engineering Library.

Book Information:
    Call Number:  QA9.S363 1989
    Loan Period: 2 hours
    Author (last name first): Schoening, Uwe
    Title: Logic for Computer Scientists
  Book Information:
    Call Number:  QA9 .B86 1998
    Loan Period: 2 hours
    Author (last name first): Burris, Stanley
    Title:  Logic for mathematics and computer science
  Book Information:
    Call Number:  QA9 .B3955 2001
    Loan Period: 1 day
    Author (last name first): Ben-Ari, Mordechai
    Title: Mathematical logic for computer science
  Book Information:
    Call Number:  QA9 .E54 2001
    Loan Period: 1 day
    Author (last name first): Enderton, Herbert
    Title: A mathematical introduction to logic
  Book Information:
    Call Number:  QA76.63.N45 1993
    Loan Period: 1 day
    Author (last name first): Nerode, Anil and Shore, Richard
    Title: Logic for applications
  Book Information:
    Call Number: QA267.7.P36 1994
    Loan Period: 1 day
    Author (last name first): Papadimitriou, Christos
    Title: Computational Complexity