References
Adžić, M. (ed.) Kosta Došen, 1954–2017. Detailed Curriculum Vitae. https://doi.org/10.15496/publikation-23600.
Adžić, M., and K. Došen, (eds.) Logic Lectures: Gödel’s Basic Logic Course at Notre Dame, Logical Society, Belgrade, 2017. https://hal.archives-ouvertes.fr/hal-01517931.
Došen, K., Logical Constants: An Essay in Proof Theory, Ph.D. thesis, University of Oxford, 1980.
Došen, K., Cut Elimination in Categories, vol. 6 of Trends in Logic, Kluwer, Dordrecht, 1999.
Došen, K., Basic Logic, Aaron Swartz, Belgrade, 2013.
Došen, K., and Z. Petrić, Proof-Theoretical Coherence, vol. 1 of Studies in Logic, King’s College Publications (College Publications), London, 2004.
Došen, K., and P. Schroeder-Heister, (eds.) Substructural Logics, Oxford University Press, Oxford, 1993.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schroeder-Heister, P. Kosta Došen (1954–2017). Stud Logica 107, 7–9 (2019). https://doi.org/10.1007/s11225-018-9814-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9814-8