Maslov, S. Yu. Calculi with monotone deductions and their economic interpretation. (English) Zbl 0493.03036 J. Sov. Math. 20, 2314-2321 (1982). MSC: 03F99 91B66 03B48 68W99 60J20 03B25 03D15 03D99 68Q65 94A17 PDFBibTeX XMLCite \textit{S. Yu. Maslov}, J. Sov. Math. 20, 2314--2321 (1982; Zbl 0493.03036) Full Text: DOI
Martin-Löf, Per On the notion of randomness. (Russian) Zbl 0289.02030 Sloznost’ Vycisl. Algorit. 364-369 (1974). MSC: 03D99 03F99 03F55 60A05 PDFBibTeX XML
Mann, Irwin Probabilistic recursive functions. (English) Zbl 0267.02030 Trans. Am. Math. Soc. 177, 447-467 (1973). MSC: 03D60 03F99 60B05 03D55 68W99 60G30 65C05 PDFBibTeX XMLCite \textit{I. Mann}, Trans. Am. Math. Soc. 177, 447--467 (1973; Zbl 0267.02030) Full Text: DOI