%0 Book
%A  by Yves Nievergelt.
%T Foundations of Logic and Mathematics
%U /book/89944250/Foundations-of-Logic-and-Mathematics/