Новая цитата

Интуиционистская логика

В. Е. Плиско, В. Х. Хаханян