Do you have a decent understanding of first order logic? If not, sort that out first. Peter Smith has a good list of books to choose from: http://www.logicmatt

Do you have a decent understanding of first order logic? If not, sort that out first. Peter Smith has a good list of books to choose from: http://www.logicmatters.net/2012/05/teach-yourself-logic-1-first-order-logic/ http://www.logicmatters.net/2012/05/teach-yourself-logic-1-f... Then get Smith's book An Introduction to Gödel's Theorems. It explains Gödel's results in great detail and doesn't assume too much background knowledge. A certain amount of perseverance will, of course, be required… There's some supplementary material on his website: http://www.logicmatters.net/igt/ http://www.logicmatters.net/igt/