Формализованные языки и проблемы логики

Логика для юристов

Логика сборник упражнений