Англо-русский морской словарь

general recursive set

Общерекурсивное множество

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