Математическата логика се е развила от екзотичен клон на математиката до незаменим инструмент в компютърните науки, както и в други области на математиката. Тази кратка книга представя темата за математическата логика по жив и достъпен начин, въпреки че логиката може да бъде крайно сложна тема, дори за математици.

Това второ издание на Какво е математическа логика?, първоначално публикувано преди 50 години, разглежда важни идеи в съвременната математическа логика, без нуждата от детайлна математическа работа, изисквана за хора с професионален интерес към логиката. Идеите са изложени просто и ясно в приятен стил и, въпреки относителната краткост на книгата, всички основни материали са покрити на тези страници. Добавени са три нови глави, обхващащи автоматично доказване на теореми, логика извън традиционната логика от първи ред и други логики, включително интуиционистка, свободна и модална логика.

Студентите по компютърни науки и математическа логика ще намерят това за стимулиращо въведение и ценна добавка към курсовете, включително текущи препоръки за четене в тази динамична област на пресечната точка между математиката, философията и компютърните науки.

Страници: 160, Размери: 16x16см