Search results for: Lew Gordeev
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 > 2020 > 49 > 3 > 213-230
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 181-196