Сущность формальной и математической логики
...теории отображаются с помощью формального или формализованного языка L =<A,S> (соответственно, L1=<A,S>, L2=<A, S1, S2>, где А – алфавит символов, S1 – синтаксические правила построения языковых выражений FÍA*, S2 - семантические правила) и...