510.63. Логические и логико-предметные теории. Классические (традиционные) логические системы.

510.633Логика высказываний и исчисление высказываний.
См. также 512.563.
510.635Логика предикатов и исчисление предикатов.

[ Начало ]