Search results for: Lew Gordeev
Bulletin of the Section of Logic > 2022 > 51 > 2 > 197-205
Bulletin of the Section of Logic > 2020 > 49 > 3 > 213-230
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 181-196
Bulletin of the Section of Logic > 2022 > 51 > 2 > 197-205
Bulletin of the Section of Logic > 2020 > 49 > 3 > 213-230
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 181-196