This site has been permanently archived. This is a static copy provided by the University of Southampton.

Konrad, Matthias and Voisin, Laurent Translation from Set-Theory to Predicate Calculus. Technical Report. ETH Zurich. (Unpublished)