Воспроизведено в оригинальной авторской орфографии издания 1947 года (издательство "Иностранная литература"). Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математика к области логики. 2012