Cut elimination for Zermelo set theory: Proof of 53 easy lemmas Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´ - Lemmas - Document - PDFSEARCH.IO

First Page	Meta Content
	Cut elimination for Zermelo set theory: Proof of 53 easy lemmas Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´ Add to Reading List Document Date: 2011-01-28 11:35:47 Open Document File Size: 110,86 KB Share Result on Facebook

Cut elimination for Zermelo set theory: Proof of 53 easy lemmas Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´Add to Reading List