Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Логістика. Символічна логіка. Математична логіка. Логічне числення

Аксіоми. Принципи. Правила. Закони/Аксиомы. Принципы. Правила. Законы/Axiom. Principles. Rules. Theorem

Підтеми:

• Еквівалентність. Правила. Закони. Закони комбінації, заміни, з'єднання, заперечення/Эквивалентность. Правила. Законы/Equivalence. Rules. legislation
• Аксіоми. Принципи
• Аксіоматика.Системи аксіом