\begin{thebibliography}{Sri08}

\bibitem[Sri08]{Sriv1}
S.~M. Srivastava.
\newblock {\em A Course on Mathematical Logic}.
\newblock Springer, $1^{st}$ edition, 2008.

\end{thebibliography}
