Kosta Došen, 1954-2017. Detailed Curriculum Vitae

DSpace Repository

Kosta Došen, 1954-2017. Detailed Curriculum Vitae

Kosta Došen, 1954-2017. Curriculum Vitae

Adžić, Miloš (Hrsg.)
Dateien:
Thumbnail
691. KB
PDF
URI: http://hdl.handle.net/10900/82209
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-822095
http://dx.doi.org/10.15496/publikation-23600
Dokumentart: Other
Date: 2018
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 100 - Philosophy
510 - Mathematics
Keywords: Lebenslauf , Bibliografie , Logik , Beweis , Beweistheorie , Deduktion
Other Keywords: Kategorientheorie
Logische Konstanten
Kosta Došen
Logic
Logical Constants
Proof
Proof Theory
Categorial Logic
Category Theory
Deduction
Proof-Theoretical Coherence
License: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Order a printed copy: Print-on-Demand
Show full item record

Inhaltszusammenfassung:

Ein von Miloš Adžić (Universität Belgrad) herausgegebenes Supplement zu einem von Peter Schroeder-Heister (Universität Tübingen) verfassten Nachruf auf den 2017 verstorbenen serbischen Logiker, Philosophen und Mathematiker Kosta Došen. Der Nachruf ist erschienen in: Thomas Piecha und Peter Schroeder-Heister (Hrsg.), General Proof Theory, Themenheft der Zeitschrift Studia Logica, 2019 (Onlinefassung 2018).

Abstract:

Supplement to the obituary for Kosta Došen (1954-2017) by Peter Schroeder-Heister in Studia Logica, special issue on General Proof Theory (ed. by Thomas Piecha and Peter Schroeder-Heister), 2019 (first published online in 2018).

This item appears in the following Collection(s)