Научные теории, концепции, гипотезы, моделиНаучные теории, концепции, гипотезы, модели

Исчисление предикатов

Логические операции
Исчисление высказываний
Кванторы