Kosta Došen 1954–2017: Obituaries

DSpace Repositorium (Manakin basiert)

Kosta Došen 1954–2017: Obituaries

Schroeder-Heister, Peter
Dateien:
Thumbnail
2.15 MB
PDF
Zitierfähiger Link (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
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309688
Dokumentart: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 2017
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie , Kategorientheorie
Freie Schlagwörter: Kosta Došen
Proof Theory
Category Theory
Kosta Došen
Logic
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en
Zur Langanzeige

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.

Das Dokument erscheint in: