The book involves an information robot, which is an abstract reasoning engine based on the laws of formal logic. The proposed solutions are extremely well motivated by observing examples and classifications of reasoning paradigms taken from the thoughts of two much admired literary characters, brothers Sherlock and Mycroft Holmes, created by sir Arthur Conan Doyle. Overall, the work is deceptively lucid. In fact, it is almost seductively lucid in the apparent simplicity with which it lays out its solutions of many difficult concepts. It is therefore rather easy to miss the staggering magnitude of the scope of the work at first reading. Dissertations of comparable scope and potential impact are rare. Karel Zikan, PhD, Seattle