Logika v računalništvu

An excellent textbook that covers many topics on logic in computer science. We recommend it as a general background material. It will also prove useful for some student projects.