Статья

Титов, А. В.
Семантический подход к анализу логических исчислений / А. В. Титов // Ученые записки Таврического нац. университета им. В.И.Вернадского. Серия "Философия. Культурология. Политология. Социология". – 2010. – Т.23 (62), № 2. – С. 273-278.


Предметні рубрики = Математика : основания математики, математическая логика : логические исчисления, исчисления высказываний, исчисление предикатов