Issledovanija po teorii dokazatel'stv : sbornik statej - Kreisel, Georg, 1923-2015 (Matematika ;, 1981)