54 подписчика
Возраст: 0+
Язык: Русский

Описание
История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.