scientific article; zbMATH DE number 3073057
From MaRDI portal
Publication:5812198
zbMath0047.01605MaRDI QIDQ5812198
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} ⋮ A proof of Moessner's theorem by coinduction ⋮ A characterization of Moessner's sieve
This page was built for publication: