Biblioteca Institutului de Matematică şi Informatică a primit:
- Institution - independent Model Theory. Diaconescu Razvan, Studies in Universal Logic, 2008;
- Foundations of Algebraic Specification and Formal Software Development. Donald Sannella, Andrzej Tarlecki, Springer, 2012;
- Автоматы на алгебраических структурах. Модели и методы их исследования. Скобелев В. В. ИПММ НАН Украины, Донецк, 307 c., 2013;
- Revue Roumaine de Mathématiques Pures et Appliquées. Romanian journal of pure and applied mathematics, Tome LIX, Nr. 4, 2014;
- Revue Roumaine de Mathématiques Pures et Appliquées. Romanian journal of pure and applied mathematics, Tome LX, Nr. 1, 2015;
- Analele Ştiinţifice ale Universităţii "Ovidius" Constanţa, Seria Matematica, Vol. XXIII, fascicola 2, 2015;
- International journal of applied mathematics and computer science. University of Zielona Góra Pres, Poland, Vol. 25, Nr. 2, June, 2015.