Chapter XIV: The ramified theory of types. Predicative set theory
Thoralf A. Skolem
Source:
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndml/1175197487
Thoralf A. Skolem
Source:
Full-text: Open access
Permanent link to this document: http://projecteuclid.org/euclid.ndml/1175197487