Issledovanija po teorii dokazateľstv : sbornik statej - Kreisel, G. (rz1, 1981)