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

DSpace Repository

Show simple item record

dc.contributor.author Adžić, Miloš (Hrsg.)
dc.date.accessioned 2018-06-06T06:46:52Z
dc.date.available 2018-06-06T06:46:52Z
dc.date.issued 2018
dc.identifier.other 506029123 | de_DE
dc.identifier.uri http://hdl.handle.net/10900/82209
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-822095 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-23600
dc.description.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). en
dc.description.abstract 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). de_DE
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podok de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en en
dc.subject.classification Lebenslauf , Bibliografie , Logik , Beweis , Beweistheorie , Deduktion de_DE
dc.subject.ddc 100 de_DE
dc.subject.ddc 510 de_DE
dc.subject.other Logic en
dc.subject.other Logical Constants en
dc.subject.other Kategorientheorie de_DE
dc.subject.other Proof en
dc.subject.other Logische Konstanten de_DE
dc.subject.other Kosta Došen de_DE
dc.subject.other Proof Theory en
dc.subject.other Categorial Logic en
dc.subject.other Category Theory en
dc.subject.other Deduction en
dc.subject.other Proof-Theoretical Coherence en
dc.title Kosta Došen, 1954-2017. Detailed Curriculum Vitae en
dc.title Kosta Došen, 1954-2017. Curriculum Vitae de_DE
dc.type Other de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record