Issledovanija po teorii dokazatel'stv : sbornik statej - Kreisel, G.; Gastev, Ju. A.; Minc, G. Je.; Maslov, S. Ju. (Moskva : Mir, 1981)
Obsahuje bibliografii
Keywords: matematické teorie; sborníky