A könyv a Bolyai sorozat hetedik tagja, amely a matematikai logika legfontosabb alapfogalmaival és alkalmazásaival ismerteti meg az olvasót. A példatár elõnye, hogy az elméleti anyagot feladatsorokon keresztül dolgozza fel, az alapoktól indulva eljut a matematikán belüli alkalmazások bemutatásáig (axiómarendszerek vizsgálata) és a műszaki alkalmazásokig.