[Математическая Логика]
аЧ одно из названий современной формальной логики, пришедшей во второй половине XIX Ч нанчале XX в. на смену традиционной логике. В качестве другого названния современного этапа в развитии науки логики используется также терминлогика символическая. Определение лматематичеснкая