A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-IIby Gaisi Takeuti
Review by: James R. GuardVolume:
29
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2269795
Date:
March, 1964
File:
PDF, 365 KB
english, 1964