Its clear organization and unified approach - focused on a syntactic approach and on the role of computation - make it suitable for a wide range of introductory logic sequences at the upper-level ...

A tricky brain teaser about a bicycle race challenges you to figure out the total contestants using logic and sequence clues.