告别Věra Trnková教授（RNDr., DrSc）
计算机科学中的逻辑
2020-02-27 v2
摘要
本文为《Commentationes Mathematicae Universitatis Caroalinae》期刊纪念Věra Trnková专辑的引言。
引用
@article{arxiv.1912.06467,
title = {A farewell to Professor RNDr. V\v{e}ra Trnkov\'a}, DrSc},
author = {Jiří Adámek},
journal= {arXiv preprint arXiv:1912.06467},
year = {2020}
}