Notes like http://www.cl.cam.ac.uk/teaching/1112/LogicProof/logic-notes... were pretty common in CompSci. Often the notes were sufficient on their own, with pointers to further reading if required (see page 1 on the linked notes). With the libraries, it was quite easy to manage without buying any books.