proof theory

Теорія доведень

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