Из заброшенной рукописи о Карле Марксе [= «Обмануть Природу: Тайна стоимости Карла Маркса» / Книга 1. «Великий революционер»] Майбурд Евгений Михайлович
3
3
Под исчислением высказываний в логике понимается система аксиом и выводимых из них теорем (импликаций).