proofs, conditional-intro rule (1)

preview_player
Показать описание

Рекомендации по теме