Cut elimination for Zermelo’s set theory (2006)

Cached

Download Links

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