Раздел, объединяющий правила рассуждения и формальное описание логических структур. Охватывает символы, высказывания, аксиомы и их применение. Выберите подраздел для более точной классификации.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.
Ещё 27 статей в подразделах