Proceedings of symposia in pure mathematics, Vol: 5 :recursive function theory 

 - Rhode Island  American M. Society  1962