Англо-український словник технічних термінів
proof scheme
Схема доведення
Англо-український словник технічних термінів
proof quality
proof theory