Сущность формальной и математической логики
Средства диалектической логики применяются в тех случаях, когда от развития знания отвлекаться нельзя.
С синтаксической точки зрения в математической логике различают символы переменных, термов и формул, а с семантической точки зрения...