Mathematical logic for computer science. An introduction. Ediz. italiana