Cut elimination for Zermelo’s set theory (2006)
by
Gilles Dowek
,
Alexandre Miquel
| Citations: | 1 - 0 self |
Document Versions
| Cut elimination for Zermelo’s set theory –Gilles Dowek, Alexandre Miquel — 2006 |
