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