Логико-математические проблемы создания машинного языка для информационной машиныстатья