text: We have used this book as a text for discrete math courses in our undergraduate Computing Engineering and Systems program (University of los Andes, Colombia). There are a lot of advantages using this approach instead of the classical one (e.g., people really learn to prove and learn to write correct proofs). 
  
  However, to grasp these ideas you have to be patient and open minded. When other reviewers give 1 star to the book it is clear for me that perhaps they were expecting something magical that did not occur. This presentation of logic and its applications to informatics provides an excellent way to learn and really use the knowledge in the praxis. 
  
  In Chapter 8 you go seamlessly from propositional to higher order logic. Sums and logical quantifications are, for example, treated in an uniform way. Maybe the type concept is not so fine explained, but one has to remember that this is an introductory book.
  
  5 stars, of course
  