Open Access
VOL. 8 | 1962 Chapter XIV: The ramified theory of types. Predicative set theory
Thoralf A. Skolem
Notre Dame Math. Lectures, 1962: 52-61 (1962)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol. 8 • 1 January 1962
Back to Top