3 citations to https://www.mathnet.ru/rus/jlc3

1. А. А. Запрягаев, “Об интерпретациях арифметики Пресбургера в арифметиках Бюхи”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 3–7    ; A. A. Zapryagaev, “On interpretations of Presburger arithmetic in Büchi arithmetics”, Dokl. Math., 107:2 (2023), 89–92    
2. Albert Visser, “Friedman-reflexivity”, Annals of Pure and Applied Logic, 173:9 (2022), 103160  
3. Александр Александрович Запрягаев, Математические основы информатики и информационно-коммуникационных систем, 2021, 156