TA Two applications of logic to mathematics by Takeuti, Gaisi fromPublications of the Mathematical Society of Japan 0 Type: Book
