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

DSpace Repositorium (Manakin basiert)

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

Kosta Došen, 1954-2017. Curriculum Vitae

Adžić, Miloš (Hrsg.)
Dateien:
Thumbnail
691. KB
PDF
Zitierfähiger Link (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: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 2018
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 100 - Philosophie
510 - Mathematik
Schlagworte: Lebenslauf , Bibliografie , Logik , Beweis , Beweistheorie , Deduktion
Freie Schlagwörter: Kategorientheorie
Logische Konstanten
Kosta Došen
Logic
Logical Constants
Proof
Proof Theory
Categorial Logic
Category Theory
Deduction
Proof-Theoretical Coherence
Lizenz: 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
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

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

Das Dokument erscheint in: