Setzer, A. (1993). Proof theoretical stregth of Martin-Löf type theory with W-type and one universe.
Chicago-Zitierstil (17. Ausg.)Setzer, Anton. Proof Theoretical Stregth of Martin-Löf Type Theory with W-type and One Universe. München, 1993.
MLA-Zitierstil (9. Ausg.)Setzer, Anton. Proof Theoretical Stregth of Martin-Löf Type Theory with W-type and One Universe. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.