Курс познакомит с историей развития математического языка и основами математической логики.