Logic and Theory of Algorithms - Beckmann, Arnold ; Dimitracopoulos, Costas ; Löwe, Benedikt (H: Springer, 2017)
613 p.