1. ABRAMSKY, S., GABBAY, D. and MAIBAUM, T. (editors). (1993-2000). Handbook of Logic in Computer Science Oxford University Press, Vol. 1-5.
2. KLEENE, S. (1967) Mathematical Logic. New York.
3. NIKITCHENKO, M. and SHKILNIAK, S. (2013). Applied logic. Кyiv: VPC Кyivskyi Universytet (in ukr).
4. NIKITCHENKO, M. and SHKILNIAK, S. (2008). Mathematical logic and theory of algorithms. Кyiv: VPC Кyivskyi Universytet (in ukr).
5. NIKITCHENKO, M., SHKILNIAK, O. and SHKILNIAK, S. (2016). Pure first-order logics of quasiary predicates. In Problems in Progamming. No 2-3. P. 73-86 (in ukr).