Šá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: 11. 10. 2024 16:02