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






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