Isabel Oitavem

Research activity per year

Filter

2021
Lorenzen Between Gentzen and Schütte
Kahle, R. & Oitavem, I., 2021, Paul Lorenzen - Mathematician and Logician. Logic, Epistemology, and the Unity of Science. Heinzmann, G. & Wolters, G. (eds.). Cham: Springer, p. 63-76 14 p. (Logic, Epistemology, and the Unity of Science; vol. 51).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Open Access
2010

Logspace without bounds
Kahle, I. M. O. F. D. R., 1 Jan 2010, Ways of Proof Theory. Schindler, R. (ed.). Frankfurt: Ontos Verlag, p. 355-362 (Ontos Series in Matematical Logic).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Research output