The Strength of Some Martin-Löf Type Theories (1994)

Cached

Download Links

by Edward Griffor , Michael Rathjen
Venue:Arch. Math. Logic
Citations:25 - 5 self