Електронний каталог

• Класифікатори
• 22.12 Основи математики. Математична логіка

22.122 Математична логіка

Документи:

• Математична логіка [Текст] : [грані математики] / уклад. О. О. Старова // Математика в школах України. Позакласна робота. – 2013. – № 10. – С. 7–9. – Бібліогр. в кінці ст.
• Кужель, О. В. Математична логіка та її застосування [Текст] / О. В. Кужель // У світі математики. – 2004. – № 4. – С. 9-14.
• Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета Серия 7. Философия. – 2009. – № 1. – С. 53-62.
• Пынько, А. П. Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько // Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. – 2005. – № 3. – С. 66-71.