Book

Logic and Theory of Algorithms

by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe