Nonconstructive logic

математика неконструктивная логика

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