Joosten, J. J. (2003). The closed fragment of the interpretability logic of PRA with a constant for IS1. Dep. of Philosophy, Utrecht Univ.
Chicago-Zitierstil (17. Ausg.)Joosten, Joost J. The Closed Fragment of the Interpretability Logic of PRA with a Constant for IS1. Utrecht: Dep. of Philosophy, Utrecht Univ, 2003.
MLA-Zitierstil (9. Ausg.)Joosten, Joost J. The Closed Fragment of the Interpretability Logic of PRA with a Constant for IS1. Dep. of Philosophy, Utrecht Univ, 2003.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.