Выразительные возможности лямбда-оператора м модальных логиках первого порядка: выпускная бакалаврская работа по направлению подготовки: 47.03.01 - Философия
Философский факультет
Выразительные возможности лямбда-оператора м модальных логиках первого порядка: выпускная бакалаврская работа по направлению подготовки: 47.03.01 - Философия