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