La machine de Turing

Dense, technique et touffu, si l'on ne peut reprocher la publication du texte de Turing en tant que telle, je regrette un peu néanmoins que les introductions de Jean-Yves Girard manquent de pédagogie pour le nouveau venu.