No CrossRef data available.
Article contents
Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 (1966), pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 (1969), pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78.
Review products
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1975