Galoyan, T. M. . (2021) “Strong Normalization for First-order Logic”, Mathematical Problems of Computer Science, 28, pp. 45–50. Available at: http://93.187.165.2/index.php/mpcs/article/view/496 (Accessed: 16November2024).