The strength of Martin-Löf type theory with a superuniverse. Part II (2000)

Cached

Download Links

by Michael Rathjen
Venue:PART I. ARCHIVE FOR MATHEMATICAL LOGIC 39, ISSUE
Citations:7 - 2 self