%0 Book
%A by Gaisi Takeuti
%T Two applications of logic to mathematics
%U /book/101372987/Two-applications-of-logic-to-mathematics/