1. T. Shwentick, Am. Pure Appl. Logic 79(1), 61–92 (1996).
2. V. A. Uspenskii, N. K. Vereshchagin, and V. E. Plisko, An Introduction to Mathematical Logic (Fizmatlit, Moscow, 1997) [in Russian].
3. N. K. Vereshchagin and A. Shen’, Languages and Calculi (MTsNMO, Moscow, 2000) [in Russian].
4. A. Ehrenfeucht, Fund. Math. 49, 121–149 (1960).
5. B. Bollobá, Random Graphs, 2nd ed. (Cambridge Univ. Press, Cambridge, 2001).