
1 - General recursion theory : an axiomatic approach |
2 - Generalized recursion theory : proceedings of a symposium held at the University of Oslo, 12--16 June 1972 |
3 - Nonstandard methods in stochastic analysis and mathematical physics |
4 - Proceedings of the Second Scandinavian Logic Symposium |