Report - Dialectica)Interpretationmath.stanford.edu/~feferman/papers/dialectica.pdf · The Dialectica interpretation of arithmetic ... Kurt G odel published in the ... functional interpretations

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form