Issledovanija po konstruktivnoj matematike i matematičeskoj logike VIII - Matijasevič, Ju. V.; Slisenko, A. O. (Nauka, 1979)
Keywords: matematická logika; sborníky