Foundations of Logic and Mathematics by Yves Nievergelt & Y. Nievegelt