th'eorie des 'enum'erations, in Actes du Congr`es International des Math'ematiciens 1970, Vol. 1., edited by (1972)

by Y L Ershov, La
Venue:History of constructivism in the 20th century 29 Feferman, S