исчисление, символы и правила которого могут бытьинтерпретированы в терминах логики.





Ссылка на выделенный текст