Proof theory and set theory

• 1 February 1985
• journal article
• Published by Springer Nature in Synthese
• Vol. 62  (2) , 255-263
• https://doi.org/10.1007/bf00486049

Abstract