M. Huth and M. Ryan: Logic in computer science
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.
Kliknite na povezavo https://www.cs.bham.ac.uk/research/projects/lics/, če želite odpreti vir.