Advertisement

Studia Logica

, Volume 107, Issue 1, pp 7–9 | Cite as

Kosta Došen (1954–2017)

  • Peter Schroeder-HeisterEmail author
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adžić, M. (ed.) Kosta Došen, 1954–2017. Detailed Curriculum Vitae.  https://doi.org/10.15496/publikation-23600.
  2. 2.
    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.
  3. 3.
    Došen, K., Logical Constants: An Essay in Proof Theory, Ph.D. thesis, University of Oxford, 1980.Google Scholar
  4. 4.
    Došen, K., Cut Elimination in Categories, vol. 6 of Trends in Logic, Kluwer, Dordrecht, 1999.Google Scholar
  5. 5.
    Došen, K., Basic Logic, Aaron Swartz, Belgrade, 2013.Google Scholar
  6. 6.
    Došen, K., and Z. Petrić, Proof-Theoretical Coherence, vol. 1 of Studies in Logic, King’s College Publications (College Publications), London, 2004.Google Scholar
  7. 7.
    Došen, K., and P. Schroeder-Heister, (eds.) Substructural Logics, Oxford University Press, Oxford, 1993.Google Scholar

Copyright information

© Springer Nature B.V. 2018

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of TübingenTübingenGermany

Personalised recommendations