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

mathematical logic

Математическая логика

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