Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takeuti, G. Proof theory and set theory. Synthese 62, 255–263 (1985). https://doi.org/10.1007/BF00486049
Issue Date:
DOI: https://doi.org/10.1007/BF00486049