• DML-CZ Home

02.63 Formalization of set theory (1 articles)

• Rieger, Ladislav: A contribution to Gödel's axiomatic set theory, II: Basic notions and application of the theory of dyadic rings of the set theoretical type. (English). Czechoslovak Mathematical Journal, vol. 9 (1959), issue 1, pp. 1-49