If you can read Spanish, an excellent text which both formally proves and philosophically treats both Incompleteness theorems is Carlos Ivorra Castillo's "Lógica y teoría de conjuntos" which is freely available on-line:
http://www.uv.es/ivorra/Libros/Logica.pdf
It treats as little recursion theory as it is needed to prove the results on logic.
