Hilbertovský a Gentzenovský formální systém (skripta)
Vavrečková, Šárka. Hilbertovský a Gentzenovský formální systém (skripta). |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Hilbertovský a Gentzenovský formální systém (skripta) |
Autoři | Vavrečková, Šárka. |
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: 26. 5. 2024 10:08