Inaccessibility in Constructive Set Theory and Type Theory (1998)

Cached

Download Links

by Michael Rathjen , Erik Palmgren
Citations:16 - 4 self