Notre Dame Mathematical Lectures

Chapter XIV: The ramified theory of types. Predicative set theory

Thoralf A. Skolem

Source: Thoralf A. Skolem, Abstract Set Theory (Notre Dame, Ind.: University of Notre Dame, 1962), 52-61.

Full-text: Open access

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.ndml/1175197487

2009 © University of Notre Dame

Notre Dame Mathematical Lectures

Notre Dame Mathematical Lectures