| 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 |
