This is a first introduction to logic for universities and colleges. The guided tour goes through the realm of formal logic following a path of around hundred problems. The reader is invited to first solve each problem on his own. Then the solution is given and we go to the next problem. The tour goes through propositional logic, predicate logic, automata, Turing machines and ends up discussing incompleteness phenomena. Logic is both one of the oldest of sciences and is essential for much of the development in the new cognitive science. We investigate how men and machines treat information and look at how information is represented and the kind of calculation we can perform on it. This tour is meant for students of computer science, mathematics, philosophy, linguistics and cognitive science. It gives a thorough introduction to a new and exciting field.