I intend to study mathematical logic , my purpose is to get to Godel's incompleteness theorems 


I haven't study any mathematical logic before 


so what is the good text which I can use for this purpose ? 


I search for a book give me the right picture , and good explanations 


I will use it as self-study



which texts do you recommend to study mathematical logic ? 
I suggest Cori and Lascar's "Mathematical logic", two small books ; the first book covers propositional calculus, Boole algebras and predicate calculus ; the second recursive functions, Gödel's theorems, set theory and the basics of model theory. I found the proofs precise, the examples nice.


