Набори, Логіка, Обчислення - вступний підручник з металогіки. Він охоплює теорію наївних множин, логіку першого порядку, послідовне обчислення та природне дедукцію, повноту, компактність та теореми Ле...Набори, Логіка, Обчислення - вступний підручник з металогіки. Він охоплює теорію наївних множин, логіку першого порядку, послідовне обчислення та природне дедукцію, повноту, компактність та теореми Левенгейма-Сколема, машини Тьюринга та невизначеність проблеми зупинки та логіки першого порядку. Аудиторія - студенти бакалаврату з певним досвідом у формальній логіці.
