Rasiowa, H. Formalized \(\omega^+\)-valued algorithmic systems. (English) Zbl 0277.68025 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 21, 559-565 (1973). Page: Show Scanned Page Cited in 3 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 03G25 Other algebras related to logic 68N01 General topics in the theory of software PDFBibTeX XMLCite \textit{H. Rasiowa}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 21, 559--565 (1973; Zbl 0277.68025)