Une thorie des constructions inductives (1994)

by B Werner
Venue:In Thse de Doctorat