Šárka Vavrečková. Hilbertovský a gentzenovský systém.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Hilbertovský a gentzenovský systém
Autoři Šárka Vavrečková.
Vydání
Další údaje
WWW URL
Změnil Změnil: RNDr. Jan Géryk, Ph.D., učo 72902. Změněno: 31. 1. 2019 10:25.
VytisknoutZobrazeno: 4. 6. 2024 20:13