So this is the best curriculum I can come with :
For Beginners in Logic :
Peter J. Cameron, Sets, Logic and Categories, Springer, Springer Undergraduate Mathematics Series, 1999, URL.
James L. Hein, Discrete Structures, Logic, and Computability, Jones & Bartlett Publishers, 2009 (3th ed) URL.
Logic for the computer scientist.
For Beginners in Automata and Formal Langugage :
Michael Sipser, Introduction to the Theory of Computation, Course Technology, 2005 (2nd), URL.
and
Alan P. Parkes, Introduction to Languages, Machines, and Logic, Springer, 2002.
and
Peter Linz, An introduction to formal languages and automata, Jones & Bartlett Publishers, 2000 (3 ed) URL.
and
John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison Wesley , 1979, (1st ed), ISBN : 0-201-02988-X; URL.
Intermediate level Logic (undergraduate):
D. Ebbinghaus , Mathematical Logic, Springer, URL.
or
Elliott Mendelson, Introduction to Mathematical Logic, URL
Advanced level (Graduate):
Wolfgang Thomas, Languages, Automata and Logic, 1996.
Leoni Libkin, Elements of Finite Model Theory, Springer, 2004, URL, TOC.
For Research
Benedikt Bolli, Formal models of communicating systems, Springer, 2006, URL.
Grädel, Erich; Thomas, Wolfgang; Wilke, Thomas (Eds.), Automata, logics, and infinite games, Springer, 2002, URL,