Issledovanija po teorii dokazatel'stv - Kreisel, G. (Mir, 1981)