510.63. Логические и логико-предметные теории. Классические (традиционные) логические системы.
510.633
Логика высказываний и исчисление высказываний.
См. также
512.563
.
510.635
Логика предикатов и исчисление предикатов.
[
Начало
]