Зведений каталог бібліотек Києва

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

Аксіоми. Принципи. Правила. Закони

Підтеми:

• Аксіоми. Принципи
• Системи аксіом
• Еквівалентність. Правила. Закони