deduction theorem

Теорема дедукції

Англо-український словник технічних термінів