2006 | ||
---|---|---|
4 | EE | Per Martin-Löf: 100 years of Zermelo's axiom of choice: what was the problem with it? Comput. J. 49(3): 345-350 (2006) |
1990 | ||
3 | Per Martin-Löf, Grigori Mints: COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings Springer 1990 | |
1988 | ||
2 | Per Martin-Löf: Mathematics of infinity. Conference on Computer Logic 1988: 146-197 | |
1966 | ||
1 | Per Martin-Löf: The Definition of Random Sequences Information and Control 9(6): 602-619 (1966) |
1 | Grigori Mints | [3] |