Описание книги
Книга представляет собой попытку автора написать пособие по изучению математического языка так, как принято изучать иностранный язык. Целью книги является научить читателя правильно и легко воспринимать математический текст, понимать его закономерности, структуру, возможности и ограничения. Ориентированная на изучение математического текста как такового, книга в основном апеллирует к формальным системам, которые изучаются в математической логике и примерам классических формальных теорий. В то же время в ней постоянно подчеркивается многоуровневый взгляд на математический язык, включающий метатеорию и семантику формальных конструкций.