Models of Propositional Calculi in Recursive Arithmetic. Authors R. L. Goodstein DOI: https://doi.org/10.7146/math.scand.a-10554 Downloads PDF Published 1958-12-01 Issue Vol. 6 (1958) Section Articles