Retraction of: “A normalization theorem for set theory”

2011

On presente un theoreme de normalisation pour une formulation de deduction naturelle de la theorie des ensembles de Zermelo

Keywords:

References

Citations