Matematikai logika

Ez a könyv bevezetés a matematikai logikába. Alapokat nyújt az alkalmazók, a matematikusok, informatikusok, mérnökök, nyelvészek számára, általában olyan területek művelőinek, akik számára a matematikai logika témaköre ma már megkerülhetetlen. Ilyen területek többek között a mesterséges intelligencia, a programozáselmélet, az adatbázis-elmélet, a matematikai nyelvészet. A könyvben található ismeretanyag elsajátítását bőséges feladatanyag segíti. A matematikai logika a matematika eszközeinek segítségével kutatja többek között azokat a határokat, ameddig eljuthat a gépi gondolkodás, de amelyek után már az intuitív gondolkodásé a fő szerep.