Loogika arvutiteaduses

See teine ​​väljaanne pakub jätkuvalt selget sissejuhatust formaalsele arutluskäigule, mis on nii asjakohane tänapäeva arvutiteaduse vajaduste seisukohast kui ka piisavalt põhjalik praktiliseks rakendamiseks. Täiustusi on tehtud kogu ulatuses, lisades palju täiendavaid ja laiendatud peatükke ja harjutusi. Mudelikontrolli käsitlust on oluliselt ajakohastatud.