510.62. Логические и логико-предметные языки.

510.622Синтаксис логических языков.
510.624Семантика логических языков.
См. также 519.76.

[ Начало ]