Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...

Мельдонием в России лечат болезни сердца. А еще, неизвестно, по каким именно причинам, его любили принимать российские спортсмены, из-за чего в 2016 году произошел допинговый скандал, когда мельдоний включили в список Всемирного антидопингового агентства (WADA). Постараемся разобраться, что же это за вещество и действительно ли оно улучшает физические способности организма. Как работает и откуда взялся мельдоний Мельдоний, или «Милдронат» по торговому названию, якобы поддерживает энергетический метаболизм сердца и других органов...