Logic and Metamath book recommendation Recently, I got interested in Mathematical Logic and now I am looking for good introductory books on Mathematical Logic for beginners. In fact, I plan to read some good books on Metamathematics also. So, if possible, in your answer mention separately the names of the books which are suitable for a beginner of Mathematical Logic and Metamathematics. 
 A: There is a lot of information and guidance linked at the Teach Yourself Logic page. In particular there is a (free!) 100 page Study Guide looking at a selection of the best texts available at different levels, with explanations of what they cover and recommendations for what to read in what order.
A: You may be interested with my work : http://settheory.net, where I tried to provide an optimal exposition of the foundations of maths, starting from scratch and going fast. Of course in this rather small number of pages I could not go as far as usual books but I focused in the core concepts, with a few original aspects.
A: The answer to this question depends on which aspect of logic you want to learn about. If you want to aim at model theory (which might be the case if you like algebra better than computer science), I would recommend the script "Sets, models and proofs" by Moerdijk and van Oosten, available here:
http://www.staff.science.uu.nl/~ooste110/syllabi/setsproofs09.pdf
It contains what I include in a one semester course in logic for mathematicians, is very well written and suitable for self studies.
