Kosta Došen 1954–2017: Obituaries

DSpace Repository

Kosta Došen 1954–2017: Obituaries

Schroeder-Heister, Peter
Dateien:
Thumbnail
2.15 MB
PDF
URI: http://hdl.handle.net/10900/130968
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309687
http://dx.doi.org/10.15496/publikation-72328
Dokumentart: Sonstiges
Date: 2017
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie , Kategorientheorie
Other Keywords: Kosta Došen
Proof Theory
Category Theory
Kosta Došen
Logic
License: Publishing license excluding print on demand
Show full item record

Abstract:

This online publication collects the obituaries written by the author for Kosta Došen (1954–2017) including the eulogy delivered at the funeral ceremony.

This item appears in the following Collection(s)