PDF
Sintaxis_i_semantika_logicheskikh_sistem.pdf