510.62. Логические и логико-предметные языки.
510.622
Синтаксис логических языков.
510.624
Семантика логических языков.
См. также
519.76
.
[
Начало
]