On the notion of randomness (1968)

by Per Martin-Löf
Venue:In Intuitionism and Proof Theory (Proc. Conf