Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications - Nievergelt, Yves (Springer New York : Imprint: Springer, 2015)