I reach what may sound like three wild conclusions by the application of logic to the situation we're now in.

For the benefit of the non-mathematician, here he provides a mind-bending crash course in the history and application of logic.

It just requires patience and the cool application of logic to solve.

It looks like arithmetic, but requires the application of logic.

His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum.