Title: Logicheskie metody analiza dannykh v zadachakh issledovanii︠a︡ okeana
Subjects: Symbolic and mathematical Logic, Oceanography, Data processing