Ask for recommendations for textbook on mathematical logic I studied mathematical logic using a book not written in English. I would now like to study it again using a textbook in English. But I hope I can read a text that is similar to the one I used before, so I ask here for recommendations. Any recommendation will be appreciated. The characters of the mathematical logic book I used before is as follows:
1, Formal.
Everything is formal, introduced from very beginning, such as (I'm not clear if my expression is correct in English, that's why I need an English book to remedy this deficiency) basic bricks of mathematical logic (symbol, formulas, predicate word, logic word, constrained variable, etc.), the formation rules of propositional/predicate logic (how well-formed formula is constructed recursively), differnt systems of propositional/predicate logic such as P, P*. F, F* and their relation, formal reasoning rules in these systems(e.g., in P, there are five formal reasoning rules: $(\in),(\tau),(\neg),(\to_-) and (\to_+)$).
2, comprehensive
In addition to the conceptions in 1, It introduces also Sheffer vertical, function word and equality word. calculus of propositional/predicate logic including replacement of equal formula, the replacement theorem, normal forms, Skolem normal forms, Gentzen normal forms, non-embedding normal forms, reduction of logic calculus. Reliability. Assignment. Completeness of propositional/predicate (with equality word) logic. Compactness theorem and Lowenheim-Skolem theorem. Independency.
3, many examples
in this book, there are many examples of calculus of propositional/predicate logic using the formal reasoning rules of a specified system. It also introduces actual formal mathematical systems such as elementary algebra, natural numbers, definition of formal symbols, etc. It used a "diagonal" form of proof to prove things.
I hope to have a book in English similar to this one, that is, possesses these charactors. Could you please recommendate one? It would be better if the recommendated textbook can also contain some motivations and some modern things(the book I read was written 30 years ago). Thanks!
 A: For really learning how to do mathematics in a formal logic, I suggest to look at one of the theorem provers and read their manual or tutorial. For instance, you can take a look at HOL-light.
My experience is that books about logic, fall short if it comes to the art of really doing mathematics in logic. You asked about examples. If you take a book about logic, you will probably not find an example of a proof of a well known theorem in a formal logic. However, you will find it in the manuals of the theorem provers.
For me, some things got a place, when I studied HOL-light.
Regards,
Lucas 
A: I would suggest "A concise introduction to mathematical logic" by Rautenberg, Wolfgang. See Springer website at http://www.springer.com/mathematics/book/978-1-4419-1220-6 . I think it satisfies most of your requirements.
A: I suggest "A Course in Mathematical Logic for Mathematicians" : http://www.amazon.com/Course-Mathematical-Mathematicians-Graduate-Mathematics/dp/1441906142/ref=sr_1_1?s=books&ie=UTF8&qid=1302892207&sr=1-1
A: I was going to recommend the English translation of the two volume sequence by Cori and Lascar. But after reading again your message it is highly possible that this is the text you used. I really like these two introductory books. 
A: The Better introduction I know is P. Johnstone 
"Notes on Logic and Set Theory" (Cambridge Mathematical Textbooks)
A: Boolos and Jeffrey's book Computability and Logic may be of interest.  In some respects its aim is breadth rather than depth.  For example, the chapter on forcing does just enough to prove one interesting theorem (in arithmetic, not in set theory), and similar things are true of other topics.  It seems to be addressed to mathematicians who don't know the topic and who want to find out what is of interest in the subject, not to people who want to learn all the skills needed to work in that area.
A: Maybe it's not exactly what you had in mind (well, it was written about 30 years ago as well), but a nice book too.

H.D. Ebbinghaus, J. Flum, W. Thomas, Mathematical logic (Undergraduate texts in mathematics). Springer, 1984.
  http://books.google.com/books?id=VYLA8m7cqYcC

