scientific article; zbMATH DE number 3071176
From MaRDI portal
zbMath0046.05102MaRDI QIDQ5809281
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx) Collections of translated articles of general interest (00B50)
Related Items
Ordinal arithmetic: Algorithms and mechanization, Cantor Polynomials and the Fueter-Pólya Theorem, Specification and verification of concurrent programs through refinements
