Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.