Here is the link to Gödel's Theorem: On Formally Undecidable Propositions. And here is a biography of Gödel with some bibliography and links.
A very good, popular, accessible and fun book reflection on Gödel's Theorem and related matters is Doublas Hofstadter's Gödel Escher Bach. For a more concise, focused discussion see Gödel's Proof. There are reviews for both books at these links.
Gödel Escher Bach is available at the USD library and so is Gödel's Proof.