Bemærk: Kan leveres før jul.
Fifty elegant, witty problems involve deducing events in a game's past. Holmes instructs Watson in the intricacies of retrograde analysis in a series of increasingly complex mysteries. Readers need only know how chess pieces move.
Bemærk: Kan ikke leveres før jul.
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.