Research output per year
Research output per year
Search results
-
2023
Universal Proof Theory: TACL 2022 Lecture Notes
Iemhoff, R. & Jalali Keshavarz, R., 2023, arXiv.Research output: Working paper › Preprint › Academic
-
2015
Coordinate-free logic
Leo, J. M. I. M., 28 Jul 2015, Logic Group Preprint Series, p. 1-40, 40 p. (Logic Group preprint series).Research output: Working paper › Preprint › Academic
-
Extension and Interpretability
Visser, A., 2015, Logic Group Preprint Series, 38 p. (Logic Group preprint series).Research output: Working paper › Preprint › Academic
File