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