1. Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic, 5th edn. Cambridge University Press (2007)
2. Büchi, J.R.: On a Decision Methond in Restricted Second-Order Arithmetic. In: Nagel, E., et al. (eds.) Logic, Methodology and Philosophy of Science. Proc. 1960 Intern. Congr., pp. 1–11. Stanford Univ. Press (1962)
3. Doets, K.: Monadic
$\Pi_1^1$
-Theories of
$\Pi_1^1$
-Properties. Notre Dame Journal of Formal Logic 30(2), 224–240 (1989)
4. Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, 2nd edn. Springer Monographs in Mathematics. Springer (1999)
5. Lecture Notes in Computer Science;A. Gheerbrant,2008