Mathematics as a numerical language, in: Kino, Myhill and Vesley [1970 (0)

by W Buchholz, S Feferman, W Pohlers, W Sieg