Thanks for your valuable insight, I'm yet to read more about these topics since I was just scratching off the surface and I find Mathematical Logic to be a very interesting area.
A lot of people have been recommending "Gödel, Escher, Bach" which I'll check out.