Доказуемость и модальная логика [2] // Лев Беклемишев

2018 1:14:46

Классическая логика высказываний исходит из предположения о том, что любые высказывания либо истинны, либо ложны ...