Cut elimination for Zermelo’s set theory (2006)

Cached

Download Links

by Gilles Dowek , Alexandre Miquel
Citations:4 - 0 self

Document Versions

Cut elimination for Zermelo’s set theory –Gilles Dowek, Alexandre Miquel — 2006